Add Mul Pow 0.250000000000000 Mul x0 Add -3 Mul x0 x2 atan tan Pow acoth x0 x1 x0 
Add Add Mul atan tan Pow acoth x0 x1 Mul Pow 0.250000000000000 Add Mul x0 Add -3 Mul x0 x2 -1 Mul -1.13629436111989 Add Add -3 Mul x0 x2 Mul x0 x2 Mul Pow 0.250000000000000 Mul x0 Add -3 Mul x0 x2 Mul Mul Pow sec Pow acoth x0 x1 2 Mul Pow acoth x0 Add x1 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul tan Pow acoth x0 x1 tan Pow acoth x0 x1 -1 1 