Mul x0 Mul tan Pow Add Mul Mul x0 x3 x0 2 asinh x3 coth asech pi 
Add Mul tan Pow Add Mul Mul x0 x3 x0 2 asinh x3 coth asech pi Mul x0 Mul coth asech pi Mul Pow sec Pow Add Mul Mul x0 x3 x0 2 asinh x3 2 Mul Pow Add Mul Mul x0 x3 x0 2 Add asinh x3 -1 Mul asinh x3 Add Mul x0 x3 Mul x0 x3 