Mul atanh Mul Pow exp Pow x7 4 x0 Pow tan Mul cosh x0 x0 Pow x0 pi -2 
Mul -2 Mul Add Mul Pow tan Mul cosh x0 x0 Pow x0 pi Mul Pow exp Pow x7 4 Add x0 -1 Mul exp Pow x7 4 log exp Pow x7 4 Mul Pow exp Pow x7 4 x0 Mul Pow tan Mul cosh x0 x0 Add Pow x0 pi -1 Add Mul Pow x0 pi Mul Pow sec Mul cosh x0 x0 2 Add Mul x0 sinh x0 cosh x0 Mul Mul tan Mul cosh x0 x0 log tan Mul cosh x0 x0 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Mul Pow exp Pow x7 4 x0 Pow tan Mul cosh x0 x0 Pow x0 pi Mul Pow exp Pow x7 4 x0 Pow tan Mul cosh x0 x0 Pow x0 pi -1 