Pow acsch sinh sinh sinh x0 Pow Add x3 4 sec Mul x0 -2 
Mul Pow acsch sinh sinh sinh x0 Add Pow Add x3 4 sec Mul x0 -2 -1 Add Mul Pow Add x3 4 sec Mul x0 -2 Mul Mul -1 Mul cosh sinh sinh x0 Mul cosh sinh x0 cosh x0 Pow Mul Mul sinh sinh sinh x0 sinh sinh sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh sinh sinh x0 sinh sinh sinh x0 -1 -1 Mul Mul acsch sinh sinh sinh x0 log acsch sinh sinh sinh x0 Mul Pow Add x3 4 Add sec Mul x0 -2 -1 Mul Mul Add x3 4 log Add x3 4 Mul Mul tan Mul x0 -2 sec Mul x0 -2 -2 