Add E Pow Add -1 sqrt cosh x0 Pow Mul x0 x1 Mul pi tanh E 
Mul Pow Add -1 sqrt cosh x0 Add Pow Mul x0 x1 Mul pi tanh E -1 Add Mul Pow Mul x0 x1 Mul pi tanh E Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Mul Mul Add -1 sqrt cosh x0 log Add -1 sqrt cosh x0 Mul Pow Mul x0 x1 Add Mul pi tanh E -1 Mul Mul pi tanh E x1 