Pow atanh sec x0 Mul Add x0 Pow Mul atanh x6 x0 -0.785398163397448 Mul x0 -1 
Mul Pow atanh sec x0 Add Mul Add x0 Pow Mul atanh x6 x0 -0.785398163397448 Mul x0 -1 -1 Add Mul Mul Add x0 Pow Mul atanh x6 x0 -0.785398163397448 Mul x0 -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul Mul atanh sec x0 log atanh sec x0 Add Mul Mul x0 -1 Add 1 Mul Pow Mul atanh x6 x0 -1.78539816339745 Mul -0.785398163397448 atanh x6 Mul Add x0 Pow Mul atanh x6 x0 -0.785398163397448 -1 