Pow cosh x0 Add Mul tanh atan acoth atan Add Mul -4 x0 acos Add x3 x0 Mul x7 E 2 
Mul Pow cosh x0 Add Add Mul tanh atan acoth atan Add Mul -4 x0 acos Add x3 x0 Mul x7 E 2 -1 Add Mul Add Mul tanh atan acoth atan Add Mul -4 x0 acos Add x3 x0 Mul x7 E 2 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul x7 E Mul Pow sech atan acoth atan Add Mul -4 x0 acos Add x3 x0 2 Mul Mul Mul Add -4 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x3 x0 Add x3 x0 -1 Pow Add 1 Mul Add Mul -4 x0 acos Add x3 x0 Add Mul -4 x0 acos Add x3 x0 -1 Pow Add 1 Mul -1 Mul atan Add Mul -4 x0 acos Add x3 x0 atan Add Mul -4 x0 acos Add x3 x0 -1 Pow Add 1 Mul acoth atan Add Mul -4 x0 acos Add x3 x0 acoth atan Add Mul -4 x0 acos Add x3 x0 -1 