Mul atan Add Add 20.0855369231877 x0 -2 atan asinh Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 
Add Mul atan asinh Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 Pow Add 1 Mul Add Add 20.0855369231877 x0 -2 Add Add 20.0855369231877 x0 -2 -1 Mul atan Add Add 20.0855369231877 x0 -2 Mul Mul Add Mul x0 Mul Pow Mul 2 sqrt acot acoth Add Add x0 -4 cosh x0 -1 Mul -1 Mul Mul Add 1 sinh x0 Pow Add 1 Mul -1 Mul Add Add x0 -4 cosh x0 Add Add x0 -4 cosh x0 -1 Pow Add 1 Mul acoth Add Add x0 -4 cosh x0 acoth Add Add x0 -4 cosh x0 -1 sqrt acot acoth Add Add x0 -4 cosh x0 Pow sqrt Add 1 Mul Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 -1 Pow Add 1 Mul asinh Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 asinh Mul sqrt acot acoth Add Add x0 -4 cosh x0 x0 -1 