Mul x1 Mul asinh Mul Mul sec tan Add acosh atan x0 4 Mul x0 3 x0 Add x0 Add -4 exp E 
Mul x1 Add Mul Add x0 Add -4 exp E Mul Add Mul x0 Add Mul Mul x0 3 Mul Mul tan tan Add acosh atan x0 4 sec tan Add acosh atan x0 4 Mul Pow sec Add acosh atan x0 4 2 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 Mul sec tan Add acosh atan x0 4 3 Mul sec tan Add acosh atan x0 4 Mul x0 3 Pow sqrt Add 1 Mul Mul Mul sec tan Add acosh atan x0 4 Mul x0 3 x0 Mul Mul sec tan Add acosh atan x0 4 Mul x0 3 x0 -1 asinh Mul Mul sec tan Add acosh atan x0 4 Mul x0 3 x0 