Add Add x0 x0 Pow Mul tan acosh x0 atanh x4 Pow x0 cosh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 
Add 2 Mul Pow Mul tan acosh x0 atanh x4 Add Pow x0 cosh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 -1 Add Mul Pow x0 cosh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 Mul atanh x4 Mul Pow sec acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul tan acosh x0 atanh x4 log Mul tan acosh x0 atanh x4 Mul Pow x0 Add cosh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 -1 Add cosh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 Mul Mul x0 log x0 Mul sinh Mul -2 Add -3 sec Pow x1 Add Mul x0 x6 2 Mul -2 Mul Mul tan Pow x1 Add Mul x0 x6 2 sec Pow x1 Add Mul x0 x6 2 Mul Pow x1 Add Add Mul x0 x6 2 -1 Mul Mul x1 log x1 x6 