Add Mul acosh Add exp acoth Mul x0 Add Add 6.38905609893065 E x7 pi x0 0.252680255142079 
Add Mul x0 Mul Mul exp acoth Mul x0 Add Add 6.38905609893065 E x7 Mul Add Add 6.38905609893065 E x7 Pow Add 1 Mul -1 Mul Mul x0 Add Add 6.38905609893065 E x7 Mul x0 Add Add 6.38905609893065 E x7 -1 Pow Mul sqrt Add Add exp acoth Mul x0 Add Add 6.38905609893065 E x7 pi -1 sqrt Add 1 Add exp acoth Mul x0 Add Add 6.38905609893065 E x7 pi -1 acosh Add exp acoth Mul x0 Add Add 6.38905609893065 E x7 pi 