Mul Mul Pow x0 4 Mul -5 Mul Add Add sinh exp x7 Mul 4 Add 5 x6 E asec acoth x0 x1 
Mul x1 Add Mul Mul -5 Mul Add Add sinh exp x7 Mul 4 Add 5 x6 E asec acoth x0 Mul Pow x0 3 4 Mul Pow x0 4 Mul -5 Mul Add Add sinh exp x7 Mul 4 Add 5 x6 E Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 