Pow acos Mul x3 x5 atanh atanh Mul sec x0 x1 
Mul Pow acos Mul x3 x5 Add atanh atanh Mul sec x0 x1 -1 Mul Mul acos Mul x3 x5 log acos Mul x3 x5 Mul Mul Mul x1 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Mul sec x0 x1 Mul sec x0 x1 -1 Pow Add 1 Mul -1 Mul atanh Mul sec x0 x1 atanh Mul sec x0 x1 -1 