Pow Add asec acoth acot sec Mul x0 x0 Mul x0 x0 Pow x0 Add x1 x0 
Mul Pow Add asec acoth acot sec Mul x0 x0 Mul x0 x0 Add Pow x0 Add x1 x0 -1 Add Mul Pow x0 Add x1 x0 Add Mul Mul Mul -1 Mul Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow Add 1 Mul sec Mul x0 x0 sec Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot sec Mul x0 x0 acot sec Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth acot sec Mul x0 x0 acoth acot sec Mul x0 x0 -1 acoth acot sec Mul x0 x0 acoth acot sec Mul x0 x0 -1 Add x0 x0 Mul Mul Add asec acoth acot sec Mul x0 x0 Mul x0 x0 log Add asec acoth acot sec Mul x0 x0 Mul x0 x0 Mul Pow x0 Add Add x1 x0 -1 Add Add x1 x0 Mul x0 log x0 