Mul Pow sech tan csch pi x0 Mul x7 Add E asinh x0 
Add Mul Mul x7 Add E asinh x0 Mul Pow sech tan csch pi Add x0 -1 Mul sech tan csch pi log sech tan csch pi Mul Pow sech tan csch pi x0 Mul x7 Pow sqrt Add 1 Mul x0 x0 -1 