Mul x2 Add tan Pow x0 Mul x2 Add atanh Mul Pow asech x2 x0 0.850918128239322 x0 Add Pow x0 -3 556.744360865161 
Mul x2 Add Mul Pow sec Pow x0 Mul x2 Add atanh Mul Pow asech x2 x0 0.850918128239322 x0 2 Mul Pow x0 Add Mul x2 Add atanh Mul Pow asech x2 x0 0.850918128239322 x0 -1 Add Mul x2 Add atanh Mul Pow asech x2 x0 0.850918128239322 x0 Mul Mul x0 log x0 Mul x2 Add Mul Mul 0.850918128239322 Mul Pow asech x2 Add x0 -1 Mul asech x2 log asech x2 Pow Add 1 Mul -1 Mul Mul Pow asech x2 x0 0.850918128239322 Mul Pow asech x2 x0 0.850918128239322 -1 1 Mul Pow x0 4 -3 