Mul tan Pow x7 tan Mul x0 x0 atan Pow Add x0 x0 Pow 3 acosh x0 
Add Mul atan Pow Add x0 x0 Pow 3 acosh x0 Mul Pow sec Pow x7 tan Mul x0 x0 2 Mul Pow x7 Add tan Mul x0 x0 -1 Mul Mul x7 log x7 Mul Pow sec Mul x0 x0 2 Add x0 x0 Mul tan Pow x7 tan Mul x0 x0 Mul Mul Pow Add x0 x0 Add Pow 3 acosh x0 -1 Add Mul Pow 3 acosh x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow 3 Add acosh x0 -1 Mul 4.09861228866811 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Pow Add x0 x0 Pow 3 acosh x0 Pow Add x0 x0 Pow 3 acosh x0 -1 