asinh Mul Mul x0 Add Mul pi x0 Pow Mul acoth log Mul atan x2 x0 x3 sech pi Mul 2 x6 
Mul Mul Mul 2 x6 Add Add Mul pi x0 Pow Mul acoth log Mul atan x2 x0 x3 sech pi Mul x0 Add pi Mul Pow Mul acoth log Mul atan x2 x0 x3 Add sech pi -1 Mul sech pi Mul x3 Mul Mul atan x2 Pow Mul atan x2 x0 -1 Pow Add 1 Mul -1 Mul log Mul atan x2 x0 log Mul atan x2 x0 -1 Pow sqrt Add 1 Mul Mul Mul x0 Add Mul pi x0 Pow Mul acoth log Mul atan x2 x0 x3 sech pi Mul 2 x6 Mul Mul x0 Add Mul pi x0 Pow Mul acoth log Mul atan x2 x0 x3 sech pi Mul 2 x6 -1 