Mul x0 Add Add Pow sin acos acoth Add exp x0 5 x1 sech x4 Mul x3 x0 
Add Add Add Pow sin acos acoth Add exp x0 5 x1 sech x4 Mul x3 x0 Mul x0 Add Mul Pow sin acos acoth Add exp x0 5 Add x1 -1 Mul x1 Mul cos acos acoth Add exp x0 5 Mul -1 Mul Mul exp x0 Pow Add 1 Mul -1 Mul Add exp x0 5 Add exp x0 5 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add exp x0 5 acoth Add exp x0 5 -1 x3 