atan acoth Mul sinh Add 0.995807703453127 x4 sinh x0 
Mul Mul Mul sinh Add 0.995807703453127 x4 cosh x0 Pow Add 1 Mul -1 Mul Mul sinh Add 0.995807703453127 x4 sinh x0 Mul sinh Add 0.995807703453127 x4 sinh x0 -1 Pow Add 1 Mul acoth Mul sinh Add 0.995807703453127 x4 sinh x0 acoth Mul sinh Add 0.995807703453127 x4 sinh x0 -1 