Pow Mul 3 Mul x0 Mul exp x0 Pow atan asech x3 Pow acosh x0 x0 x0 
Mul Pow Mul 3 Mul x0 Mul exp x0 Pow atan asech x3 Pow acosh x0 x0 Add x0 -1 Add Mul x0 Mul 3 Add Mul exp x0 Pow atan asech x3 Pow acosh x0 x0 Mul x0 Add Mul Pow atan asech x3 Pow acosh x0 x0 exp x0 Mul exp x0 Mul Pow atan asech x3 Add Pow acosh x0 x0 -1 Mul Mul atan asech x3 log atan asech x3 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Mul Mul 3 Mul x0 Mul exp x0 Pow atan asech x3 Pow acosh x0 x0 log Mul 3 Mul x0 Mul exp x0 Pow atan asech x3 Pow acosh x0 x0 