Mul x4 Add Pow x4 Add asec acoth Pow 2 x2 Mul Pow Add x0 x5 x0 acosh Add x0 -3 acot x5 
Mul x4 Mul Pow x4 Add Add asec acoth Pow 2 x2 Mul Pow Add x0 x5 x0 acosh Add x0 -3 -1 Mul Mul x4 log x4 Add Mul acosh Add x0 -3 Mul Pow Add x0 x5 Add x0 -1 Add x0 Mul Add x0 x5 log Add x0 x5 Mul Pow Add x0 x5 x0 Pow Mul sqrt Add Add x0 -3 -1 sqrt Add 1 Add x0 -3 -1 