atan Pow x1 Add acosh tan sqrt acot x0 Add Pow Add atanh Add x0 x5 x0 Add Add x0 x0 x0 x5 
Mul Mul Pow x1 Add Add acosh tan sqrt acot x0 Add Pow Add atanh Add x0 x5 x0 Add Add x0 x0 x0 x5 -1 Mul Mul x1 log x1 Add Mul Mul Pow sec sqrt acot x0 2 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add tan sqrt acot x0 -1 sqrt Add 1 tan sqrt acot x0 -1 Mul Pow Add atanh Add x0 x5 x0 Add Add Add x0 x0 x0 -1 Add Mul Add Add x0 x0 x0 Add Pow Add 1 Mul -1 Mul Add x0 x5 Add x0 x5 -1 1 Mul Mul Add atanh Add x0 x5 x0 log Add atanh Add x0 x5 x0 3 Pow Add 1 Mul Pow x1 Add acosh tan sqrt acot x0 Add Pow Add atanh Add x0 x5 x0 Add Add x0 x0 x0 x5 Pow x1 Add acosh tan sqrt acot x0 Add Pow Add atanh Add x0 x5 x0 Add Add x0 x0 x0 x5 -1 