Mul Pow x0 Mul x0 tan Mul Mul x1 Mul x0 x5 x5 Add acoth tan Add 4 x0 -4 
Add Mul Add acoth tan Add 4 x0 -4 Mul Pow x0 Add Mul x0 tan Mul Mul x1 Mul x0 x5 x5 -1 Add Mul x0 tan Mul Mul x1 Mul x0 x5 x5 Mul Mul x0 log x0 Add tan Mul Mul x1 Mul x0 x5 x5 Mul x0 Mul Pow sec Mul Mul x1 Mul x0 x5 x5 2 Mul x5 Mul x1 x5 Mul Pow x0 Mul x0 tan Mul Mul x1 Mul x0 x5 x5 Mul Pow sec Add 4 x0 2 Pow Add 1 Mul -1 Mul tan Add 4 x0 tan Add 4 x0 -1 