Pow x3 Pow Pow x0 Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 x0 
Mul Pow x3 Add Pow Pow x0 Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 x0 -1 Mul Mul x3 log x3 Mul Pow Pow x0 Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 Add x0 -1 Add Mul x0 Mul Pow x0 Add Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 -1 Add Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 Mul Mul x0 log x0 Mul Pow x0 Add Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 -1 Add Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 Mul Mul x0 log x0 Add 2 Mul Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 Add x3 -1 Mul x3 Mul Mul Mul acot x5 Mul x7 -3 Pow Mul sqrt Add Mul Mul x7 Mul -3 Add x0 x3 acot x5 -1 sqrt Add 1 Mul Mul x7 Mul -3 Add x0 x3 acot x5 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 -1 acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 -1 Mul Pow x0 Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 log Pow x0 Pow x0 Add Mul 2 x0 Pow asec acosh Mul Mul x7 Mul -3 Add x0 x3 acot x5 x3 