Add x0 Pow Add -4 Add 4 Mul x0 Add Add sech asinh atan x0 x0 3 Mul asinh x7 Add -2 acoth Mul pi x0 
Add 1 Mul Pow Add -4 Add 4 Mul x0 Add Add sech asinh atan x0 x0 3 Add Mul asinh x7 Add -2 acoth Mul pi x0 -1 Add Mul Mul asinh x7 Add -2 acoth Mul pi x0 Add Add Add sech asinh atan x0 x0 3 Mul x0 Add Mul Mul tanh asinh atan x0 Mul -1 sech asinh atan x0 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul atan x0 atan x0 -1 1 Mul Mul Add -4 Add 4 Mul x0 Add Add sech asinh atan x0 x0 3 log Add -4 Add 4 Mul x0 Add Add sech asinh atan x0 x0 3 Mul asinh x7 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 