Add Pow x1 Pow acoth x0 0.0134765058305891 tan x0 
Add Mul Pow x1 Add Pow acoth x0 0.0134765058305891 -1 Mul Mul x1 log x1 Mul Pow acoth x0 -0.986523494169411 Mul 0.0134765058305891 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sec x0 2 