Add x0 Mul x6 log Mul x0 asec acoth cos Add x0 x5 
Add 1 Mul x6 Mul Add asec acoth cos Add x0 x5 Mul x0 Mul Mul Mul -1 sin Add x0 x5 Pow Add 1 Mul -1 Mul cos Add x0 x5 cos Add x0 x5 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth cos Add x0 x5 acoth cos Add x0 x5 -1 acoth cos Add x0 x5 acoth cos Add x0 x5 -1 Pow Mul x0 asec acoth cos Add x0 x5 -1 