TrigSubstitutionRule(theta=_theta, func=sec(_theta), rewritten=sec(_theta), substep=RewriteRule(rewritten=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), substep=AlternativeRule(alternatives=[URule(u_var=_u, u_func=tan(_theta) + sec(_theta), constant=1, substep=ReciprocalRule(func=_u, context=1/_u, symbol=_u), context=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), symbol=_theta)], context=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), symbol=_theta), context=sec(_theta), symbol=_theta), restriction=(x > -1) & (x < 1), context=1/sqrt(x**2 - 1*1), symbol=x)
Теперь упростить:
Добавляем постоянную интегрирования:
Ответ:
(0.0 - 1.57079632641979j)
/ | | 1 // / _________\ \ | 1*----------- dx = C + |< | / 2 | | | ________ \\log\x + \/ -1 + x / for And(x > -1, x < 1)/ | / 2 | \/ x - 1 | /