Add Add x0 x0 Add Add Mul x0 sec Pow pi 2 Add atan Add 1 x1 Mul coth acosh Add x0 Mul -2 x5 3 x0 
Add 2 Add Add sec Pow pi 2 Mul 3 Mul Mul -1 Pow csch acosh Add x0 Mul -2 x5 2 Pow Mul sqrt Add Add x0 Mul -2 x5 -1 sqrt Add 1 Add x0 Mul -2 x5 -1 1 