Add Pow acsc x0 Add -4 x5 csch acosh Add 7.38905609893065 Mul x0 2 
Add Mul Pow acsc x0 Add Add -4 x5 -1 Mul Add -4 x5 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Mul -1 coth acosh Add 7.38905609893065 Mul x0 2 csch acosh Add 7.38905609893065 Mul x0 2 Mul 2 Pow Mul sqrt Add Add 7.38905609893065 Mul x0 2 -1 sqrt Add 1 Add 7.38905609893065 Mul x0 2 -1 