tan acot log Mul x0 sinh Mul x3 E 
Mul Pow sec acot log Mul x0 sinh Mul x3 E 2 Mul -1 Mul Mul sinh Mul x3 E Pow Mul x0 sinh Mul x3 E -1 Pow Add 1 Mul log Mul x0 sinh Mul x3 E log Mul x0 sinh Mul x3 E -1 