Add x0 Pow Add Add x3 Pow pi Pow sec sin x0 acoth Add x0 0.244978663126864 pi Pow E -1 
Add 1 Mul Pow Add Add x3 Pow pi Pow sec sin x0 acoth Add x0 0.244978663126864 pi Add Pow E -1 -1 Mul Pow E -1 Mul Pow pi Add Pow sec sin x0 acoth Add x0 0.244978663126864 -1 Mul Mul pi log pi Mul Pow sec sin x0 Add acoth Add x0 0.244978663126864 -1 Add Mul acoth Add x0 0.244978663126864 Mul Mul tan sin x0 sec sin x0 cos x0 Mul Mul sec sin x0 log sec sin x0 Pow Add 1 Mul -1 Mul Add x0 0.244978663126864 Add x0 0.244978663126864 -1 