tan Pow x0 Mul -0.841470984807897 acoth Pow 7.38905609893065 x0 
Mul Pow sec Pow x0 Mul -0.841470984807897 acoth Pow 7.38905609893065 x0 2 Mul Pow x0 Add Mul -0.841470984807897 acoth Pow 7.38905609893065 x0 -1 Add Mul -0.841470984807897 acoth Pow 7.38905609893065 x0 Mul Mul x0 log x0 Mul -0.841470984807897 Mul Mul Pow 7.38905609893065 Add x0 -1 9.38905609893065 Pow Add 1 Mul -1 Mul Pow 7.38905609893065 x0 Pow 7.38905609893065 x0 -1 