Mul Mul x0 Mul cosh Add Mul acoth Add 0.265802228834080 Mul 2 x5 x0 x0 tanh Add x6 -2 cosh x4 
Mul cosh x4 Add Mul cosh Add Mul acoth Add 0.265802228834080 Mul 2 x5 x0 x0 tanh Add x6 -2 Mul x0 Mul tanh Add x6 -2 Mul sinh Add Mul acoth Add 0.265802228834080 Mul 2 x5 x0 x0 Add acoth Add 0.265802228834080 Mul 2 x5 1 