Add Mul x7 4 Mul Pow asech acoth x0 log atan x3 Mul x2 Add log x3 tan x0 
Add Mul Mul x2 Add log x3 tan x0 Mul Pow asech acoth x0 Add log atan x3 -1 Mul log atan x3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 Mul Pow asech acoth x0 log atan x3 Mul x2 Pow sec x0 2 