Pow sin Add 0.125000000000000 Mul exp acoth x0 2 tanh acos x0 
Mul Pow sin Add 0.125000000000000 Mul exp acoth x0 2 Add tanh acos x0 -1 Add Mul tanh acos x0 Mul cos Add 0.125000000000000 Mul exp acoth x0 2 Mul 2 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sin Add 0.125000000000000 Mul exp acoth x0 2 log sin Add 0.125000000000000 Mul exp acoth x0 2 Mul Pow sech acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 