Add Pow x0 Pow acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 x0 Add Mul x3 x0 x0 
Add Mul Pow x0 Add Pow acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 x0 -1 Add Pow acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 x0 Mul Mul x0 log x0 Mul Pow acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 Add x0 -1 Add Mul x0 Mul Add Add Mul Pow 3 x0 Mul Mul tan exp x0 sec exp x0 exp x0 Mul sec exp x0 Mul Pow 3 Add x0 -1 4.09861228866811 Add x0 x0 Pow Add 1 Mul -1 Mul Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 -1 Mul acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 log acoth Add Add Add Mul sec exp x0 Pow 3 x0 -3 Mul x0 x0 x2 Add x3 1 