Mul Mul tan cot x7 Mul x0 Mul x0 Pow acosh Add x0 x0 atan x6 asinh pi 
Mul asinh pi Mul tan cot x7 Add Mul x0 Pow acosh Add x0 x0 atan x6 Mul x0 Add Pow acosh Add x0 x0 atan x6 Mul x0 Mul Pow acosh Add x0 x0 Add atan x6 -1 Mul atan x6 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 