Mul asinh Mul Mul x0 Pow x0 Mul sec x2 3 Add tanh pi x0 x7 
Mul x7 Mul Add Mul Add tanh pi x0 Add Pow x0 Mul sec x2 3 Mul x0 Mul Pow x0 Add Mul sec x2 3 -1 Mul sec x2 3 Mul x0 Pow x0 Mul sec x2 3 Pow sqrt Add 1 Mul Mul Mul x0 Pow x0 Mul sec x2 3 Add tanh pi x0 Mul Mul x0 Pow x0 Mul sec x2 3 Add tanh pi x0 -1 