sqrt Pow Mul x0 Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 Mul x0 x6 
Mul Pow Mul 2 sqrt Pow Mul x0 Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 Mul x0 x6 -1 Mul Pow Mul x0 Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Add Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 Mul x0 Add Add atanh sec Mul acosh x4 sec Add x6 x0 Mul x0 Mul Mul Mul tan Mul acosh x4 sec Add x6 x0 sec Mul acosh x4 sec Add x6 x0 Mul acosh x4 Mul tan Add x6 x0 sec Add x6 x0 Pow Add 1 Mul -1 Mul sec Mul acosh x4 sec Add x6 x0 sec Mul acosh x4 sec Add x6 x0 -1 1 Mul Mul Mul x0 Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 log Mul x0 Add Mul x0 atanh sec Mul acosh x4 sec Add x6 x0 x0 x6 