tan Add x0 Mul Pow Mul acosh atanh x3 x0 x0 sinh Mul x0 x0 
Mul Pow sec Add x0 Mul Pow Mul acosh atanh x3 x0 x0 sinh Mul x0 x0 2 Add 1 Add Mul sinh Mul x0 x0 Mul Pow Mul acosh atanh x3 x0 Add x0 -1 Add Mul x0 acosh atanh x3 Mul Mul acosh atanh x3 x0 log Mul acosh atanh x3 x0 Mul Pow Mul acosh atanh x3 x0 x0 Mul cosh Mul x0 x0 Add x0 x0 