exp Add x0 Mul acos Mul -3 sinh x0 x0 
Mul exp Add x0 Mul acos Mul -3 sinh x0 x0 Add 1 Add Mul x0 Mul -1 Mul Mul -3 cosh x0 Pow sqrt Add 1 Mul -1 Mul Mul -3 sinh x0 Mul -3 sinh x0 -1 acos Mul -3 sinh x0 