Mul pi Add tan Pow x0 Pow exp x1 4 Add Mul Mul x0 acsch atan x0 Mul x2 -3 x0 
Mul pi Add Mul Pow sec Pow x0 Pow exp x1 4 2 Mul Pow x0 Add Pow exp x1 4 -1 Pow exp x1 4 Add Mul Mul x2 -3 Add acsch atan x0 Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul atan x0 atan x0 sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 -1 1 