Mul Pow acos Add x0 Add E sqrt E sin acoth log Add x0 Mul x0 tan Pow 3 atan x0 5 
Mul 5 Mul Pow acos Add x0 Add E sqrt E Add sin acoth log Add x0 Mul x0 tan Pow 3 atan x0 -1 Add Mul sin acoth log Add x0 Mul x0 tan Pow 3 atan x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add E sqrt E Add x0 Add E sqrt E -1 Mul Mul acos Add x0 Add E sqrt E log acos Add x0 Add E sqrt E Mul cos acoth log Add x0 Mul x0 tan Pow 3 atan x0 Mul Mul Add 1 Add tan Pow 3 atan x0 Mul x0 Mul Pow sec Pow 3 atan x0 2 Mul Pow 3 Add atan x0 -1 Mul 4.09861228866811 Pow Add 1 Mul x0 x0 -1 Pow Add x0 Mul x0 tan Pow 3 atan x0 -1 Pow Add 1 Mul -1 Mul log Add x0 Mul x0 tan Pow 3 atan x0 log Add x0 Mul x0 tan Pow 3 atan x0 -1 