Add Mul x0 Add Mul -3 E Pow sinh x0 acosh acot Mul asech pi x0 x0 
Add Add Add Mul -3 E Pow sinh x0 acosh acot Mul asech pi x0 Mul x0 Mul Pow sinh x0 Add acosh acot Mul asech pi x0 -1 Add Mul acosh acot Mul asech pi x0 cosh x0 Mul Mul sinh x0 log sinh x0 Mul Mul -1 Mul asech pi Pow Add 1 Mul Mul asech pi x0 Mul asech pi x0 -1 Pow Mul sqrt Add acot Mul asech pi x0 -1 sqrt Add 1 acot Mul asech pi x0 -1 1 