Mul x0 Add Mul sec Add Add x4 Pow Mul x0 2 Mul x0 x2 acoth x0 0.295812915532746 x0 
Add Add Mul sec Add Add x4 Pow Mul x0 2 Mul x0 x2 acoth x0 0.295812915532746 x0 Mul x0 Add Mul 0.295812915532746 Mul Mul tan Add Add x4 Pow Mul x0 2 Mul x0 x2 acoth x0 sec Add Add x4 Pow Mul x0 2 Mul x0 x2 acoth x0 Add Mul Pow Mul x0 2 Add Mul x0 x2 -1 Add Mul Mul x0 x2 2 Mul Mul Mul x0 2 log Mul x0 2 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 1 