Mul Pow 3 x1 Add asec Add 4 x0 acoth Pow x5 Add sqrt x0 x7 
Mul Pow 3 x1 Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 4 x0 Add 4 x0 -1 Add 4 x0 Add 4 x0 -1 Mul Mul Pow x5 Add Add sqrt x0 x7 -1 Mul Mul x5 log x5 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Pow x5 Add sqrt x0 x7 Pow x5 Add sqrt x0 x7 -1 