Add Mul Pow Mul Mul x5 x0 -3 cosh x0 Pow acoth Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 x0 x0 
Add Add Mul Pow acoth Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 x0 Mul Pow Mul Mul x5 x0 -3 Add cosh x0 -1 Add Mul cosh x0 Mul -3 x5 Mul Mul Mul Mul x5 x0 -3 log Mul Mul x5 x0 -3 sinh x0 Mul Pow Mul Mul x5 x0 -3 cosh x0 Mul Pow acoth Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 Add x0 -1 Add Mul x0 Mul Add Mul x0 Add Mul asinh x0 Pow 4 x0 Mul x0 Add Mul Pow 4 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul x0 Mul asinh x0 Pow 4 x0 Pow Add 1 Mul -1 Mul Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 -1 Mul acoth Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 log acoth Add Mul Mul x0 Mul asinh x0 Pow 4 x0 x0 1 1 