Add Pow asinh x0 Mul Add Mul x0 Mul x0 atan Pow E Mul sqrt x7 sec x4 x0 32 x0 
Add Mul Pow asinh x0 Add Mul Add Mul x0 Mul x0 atan Pow E Mul sqrt x7 sec x4 x0 32 -1 Add Mul Mul Add Mul x0 Mul x0 atan Pow E Mul sqrt x7 sec x4 x0 32 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul 32 Add Add Mul x0 atan Pow E Mul sqrt x7 sec x4 Mul x0 atan Pow E Mul sqrt x7 sec x4 1 1 