Mul acosh Pow Mul Add x1 x2 pi 3 acosh Add Pow pi Pow tan acot asinh sinh x0 x0 Pow x3 x0 
Mul acosh Pow Mul Add x1 x2 pi 3 Mul Add Mul Pow pi Add Pow tan acot asinh sinh x0 x0 -1 Mul Mul pi log pi Mul Pow tan acot asinh sinh x0 Add x0 -1 Add Mul x0 Mul Pow sec acot asinh sinh x0 2 Mul -1 Mul Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 Pow Add 1 Mul asinh sinh x0 asinh sinh x0 -1 Mul tan acot asinh sinh x0 log tan acot asinh sinh x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow Mul sqrt Add Add Pow pi Pow tan acot asinh sinh x0 x0 Pow x3 x0 -1 sqrt Add 1 Add Pow pi Pow tan acot asinh sinh x0 x0 Pow x3 x0 -1 