Mul x0 acos Pow acsch tanh Add x0 sec sqrt x1 3 
Add acos Pow acsch tanh Add x0 sec sqrt x1 3 Mul x0 Mul -1 Mul Mul Pow acsch tanh Add x0 sec sqrt x1 2 Mul 3 Mul Mul -1 Pow sech Add x0 sec sqrt x1 2 Pow Mul Mul tanh Add x0 sec sqrt x1 tanh Add x0 sec sqrt x1 sqrt Add 1 Mul -1 Pow Mul tanh Add x0 sec sqrt x1 tanh Add x0 sec sqrt x1 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow acsch tanh Add x0 sec sqrt x1 3 Pow acsch tanh Add x0 sec sqrt x1 3 -1 