Mul Mul x0 Add Add x0 Pow -4 E Add x0 pi tan acot sinh x0 
Add Mul tan acot sinh x0 Add Add Add x0 Pow -4 E Add x0 pi Mul x0 2 Mul Mul x0 Add Add x0 Pow -4 E Add x0 pi Mul Pow sec acot sinh x0 2 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 