Mul Pow asech acoth Mul 2 Add atan x7 -4 Mul x0 2 tanh x0 
Add Mul tanh x0 Mul Pow asech acoth Mul 2 Add atan x7 -4 Add Mul x0 2 -1 Mul Mul asech acoth Mul 2 Add atan x7 -4 log asech acoth Mul 2 Add atan x7 -4 2 Mul Pow asech acoth Mul 2 Add atan x7 -4 Mul x0 2 Pow sech x0 2 