Pow Mul sec x0 Mul atan acosh x0 Mul x0 x4 x0 
Mul Pow Mul sec x0 Mul atan acosh x0 Mul x0 x4 Add x0 -1 Add Mul x0 Add Mul Mul atan acosh x0 Mul x0 x4 Mul tan x0 sec x0 Mul sec x0 Add Mul Mul x0 x4 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 Mul atan acosh x0 x4 Mul Mul sec x0 Mul atan acosh x0 Mul x0 x4 log Mul sec x0 Mul atan acosh x0 Mul x0 x4 