acosh Mul x7 Mul Add atan Mul sech x3 x3 exp Add acos sec x0 Add Mul x0 x2 4 Mul x0 csch x6 
Mul Mul x7 Add Mul Mul x0 csch x6 Mul exp Add acos sec x0 Add Mul x0 x2 4 Add Mul -1 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 x2 Mul Add atan Mul sech x3 x3 exp Add acos sec x0 Add Mul x0 x2 4 csch x6 Pow Mul sqrt Add Mul x7 Mul Add atan Mul sech x3 x3 exp Add acos sec x0 Add Mul x0 x2 4 Mul x0 csch x6 -1 sqrt Add 1 Mul x7 Mul Add atan Mul sech x3 x3 exp Add acos sec x0 Add Mul x0 x2 4 Mul x0 csch x6 -1 