Mul Pow Add x1 Pow asinh tan acoth sqrt x1 6 Add E x0 pi 
Mul pi Mul Pow Add x1 Pow asinh tan acoth sqrt x1 6 Add Add E x0 -1 Mul Add x1 Pow asinh tan acoth sqrt x1 6 log Add x1 Pow asinh tan acoth sqrt x1 6 