Add x0 sec Mul acoth sqrt atan x0 Add Pow x0 x5 sqrt x0 
Add 1 Mul Mul tan Mul acoth sqrt atan x0 Add Pow x0 x5 sqrt x0 sec Mul acoth sqrt atan x0 Add Pow x0 x5 sqrt x0 Add Mul Add Pow x0 x5 sqrt x0 Mul Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sqrt atan x0 sqrt atan x0 -1 Mul acoth sqrt atan x0 Add Mul Pow x0 Add x5 -1 x5 Pow Mul 2 sqrt x0 -1 