Mul Pow acosh Add x3 4 Mul x0 Mul x0 atanh csch Add 2 x0 2 
Mul 2 Mul Pow acosh Add x3 4 Add Mul x0 Mul x0 atanh csch Add 2 x0 -1 Mul Mul acosh Add x3 4 log acosh Add x3 4 Add Mul x0 atanh csch Add 2 x0 Mul x0 Add atanh csch Add 2 x0 Mul x0 Mul Mul Mul -1 coth Add 2 x0 csch Add 2 x0 Pow Add 1 Mul -1 Mul csch Add 2 x0 csch Add 2 x0 -1 