Mul Mul x0 x0 Add Mul 0.124354994546761 tan Pow sec acoth x0 2 4 
Add Mul Add Mul 0.124354994546761 tan Pow sec acoth x0 2 4 Add x0 x0 Mul Mul x0 x0 Mul 0.124354994546761 Mul Pow sec Pow sec acoth x0 2 2 Mul sec acoth x0 Mul 2 Mul Mul tan acoth x0 sec acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 