Pow cosh atanh Add x3 Mul x0 x0 Mul x7 E 
Mul Pow cosh atanh Add x3 Mul x0 x0 Add Mul x7 E -1 Mul Mul x7 E Mul sinh atanh Add x3 Mul x0 x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Add x3 Mul x0 x0 Add x3 Mul x0 x0 -1 