sin Add x0 Pow Add x0 Pow acoth asec Add Add x0 x0 x7 -2 cosh x0 
Mul cos Add x0 Pow Add x0 Pow acoth asec Add Add x0 x0 x7 -2 cosh x0 Add 1 Mul Pow Add x0 Pow acoth asec Add Add x0 x0 x7 -2 Add cosh x0 -1 Add Mul cosh x0 Add 1 Mul Pow acoth asec Add Add x0 x0 x7 3 Mul -2 Mul Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add x0 x0 x7 Add Add x0 x0 x7 -1 Add Add x0 x0 x7 Add Add x0 x0 x7 -1 Pow Add 1 Mul -1 Mul asec Add Add x0 x0 x7 asec Add Add x0 x0 x7 -1 Mul Mul Add x0 Pow acoth asec Add Add x0 x0 x7 -2 log Add x0 Pow acoth asec Add Add x0 x0 x7 -2 sinh x0 