Add Mul Mul csch Pow log x4 7.38905609893065 x0 Mul asech sinh exp x0 Mul -4 Mul x0 x0 -4 
Add Mul Mul asech sinh exp x0 Mul -4 Mul x0 x0 csch Pow log x4 7.38905609893065 Mul Mul csch Pow log x4 7.38905609893065 x0 Add Mul Mul -4 Mul x0 x0 Mul Mul cosh exp x0 exp x0 Pow Mul Mul sinh exp x0 sinh exp x0 sqrt Add 1 Mul -1 Pow Mul sinh exp x0 sinh exp x0 -1 -1 Mul asech sinh exp x0 Mul -4 Add x0 x0 