Mul Mul E sec log Mul acosh sinh sec x0 atanh x1 x3 
Mul x3 Mul E Mul Mul tan log Mul acosh sinh sec x0 atanh x1 sec log Mul acosh sinh sec x0 atanh x1 Mul Mul atanh x1 Mul Mul cosh sec x0 Mul tan x0 sec x0 Pow Mul sqrt Add sinh sec x0 -1 sqrt Add 1 sinh sec x0 -1 Pow Mul acosh sinh sec x0 atanh x1 -1 