Pow Add pi -5 atan Pow Pow x0 Mul asech x0 Mul exp cosh x0 Mul x0 x1 x5 
Mul Pow Add pi -5 Add atan Pow Pow x0 Mul asech x0 Mul exp cosh x0 Mul x0 x1 x5 -1 Mul Mul Add pi -5 log Add pi -5 Mul Mul Pow Pow x0 Mul asech x0 Mul exp cosh x0 Mul x0 x1 Add x5 -1 Mul x5 Mul Pow x0 Add Mul asech x0 Mul exp cosh x0 Mul x0 x1 -1 Add Mul asech x0 Mul exp cosh x0 Mul x0 x1 Mul Mul x0 log x0 Add Mul Mul exp cosh x0 Mul x0 x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Add Mul Mul x0 x1 Mul exp cosh x0 sinh x0 Mul exp cosh x0 x1 Pow Add 1 Mul Pow Pow x0 Mul asech x0 Mul exp cosh x0 Mul x0 x1 x5 Pow Pow x0 Mul asech x0 Mul exp cosh x0 Mul x0 x1 x5 -1 