Add x7 Add -2 Mul exp Add 0.250000000000000 Add sinh Pow log x0 atanh x3 atanh x0 x5 
Mul x5 Mul exp Add 0.250000000000000 Add sinh Pow log x0 atanh x3 atanh x0 Add Mul cosh Pow log x0 atanh x3 Mul Pow log x0 Add atanh x3 -1 Mul atanh x3 Pow x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 