Mul x0 Pow Add Mul 4 x5 x0 Mul Pow exp x0 Mul asech sinh pi x0 -1 
Add Pow Add Mul 4 x5 x0 Mul Pow exp x0 Mul asech sinh pi x0 -1 Mul x0 Mul Pow Add Mul 4 x5 x0 Add Mul Pow exp x0 Mul asech sinh pi x0 -1 -1 Add Mul Pow exp x0 Mul asech sinh pi x0 -1 Mul Mul Add Mul 4 x5 x0 log Add Mul 4 x5 x0 Mul -1 Mul Pow exp x0 Add Mul asech sinh pi x0 -1 Add Mul Mul asech sinh pi x0 exp x0 Mul Mul exp x0 log exp x0 asech sinh pi 