Mul Add 1 Add Mul coth x1 acos tan sqrt x0 Add Mul x0 Mul acoth x0 x0 x0 -1.51878817494040 
Mul -1.51878817494040 Add Mul coth x1 Mul -1 Mul Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul tan sqrt x0 tan sqrt x0 -1 Add Add Mul acoth x0 x0 Mul x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 1 