Pow Mul cosh x0 Mul Pow exp x0 acoth tan Mul 4 Add 1 x0 x0 -4 
Mul Pow Mul cosh x0 Mul Pow exp x0 acoth tan Mul 4 Add 1 x0 x0 5 Mul -4 Add Mul Mul Pow exp x0 acoth tan Mul 4 Add 1 x0 x0 sinh x0 Mul cosh x0 Add Mul x0 Mul Pow exp x0 Add acoth tan Mul 4 Add 1 x0 -1 Add Mul acoth tan Mul 4 Add 1 x0 exp x0 Mul Mul exp x0 log exp x0 Mul Mul Pow sec Mul 4 Add 1 x0 2 4 Pow Add 1 Mul -1 Mul tan Mul 4 Add 1 x0 tan Mul 4 Add 1 x0 -1 Pow exp x0 acoth tan Mul 4 Add 1 x0 