acsch log Mul sec x0 Add -1 Mul x2 x4 
Mul Mul -1 Mul Mul Add -1 Mul x2 x4 Mul tan x0 sec x0 Pow Mul sec x0 Add -1 Mul x2 x4 -1 Pow Mul Mul log Mul sec x0 Add -1 Mul x2 x4 log Mul sec x0 Add -1 Mul x2 x4 sqrt Add 1 Mul -1 Pow Mul log Mul sec x0 Add -1 Mul x2 x4 log Mul sec x0 Add -1 Mul x2 x4 -1 -1 