acosh Add Add 1.04719755119660 x0 Add 1 Pow 2.08143087448989 Mul -4 tan Mul acosh x0 x1 
Mul Add 1 Mul Pow 2.08143087448989 Add Mul -4 tan Mul acosh x0 x1 -1 Mul 2.81448645212215 Mul -4 Mul Pow sec Mul acosh x0 x1 2 Mul x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Add Add 1.04719755119660 x0 Add 1 Pow 2.08143087448989 Mul -4 tan Mul acosh x0 x1 -1 sqrt Add 1 Add Add 1.04719755119660 x0 Add 1 Pow 2.08143087448989 Mul -4 tan Mul acosh x0 x1 -1 