Mul tan x7 sinh Add Add Pow x0 Mul x0 x3 atanh acoth Add x7 Mul pi Pow x0 2 x7 
Mul tan x7 Mul cosh Add Add Pow x0 Mul x0 x3 atanh acoth Add x7 Mul pi Pow x0 2 x7 Add Mul Pow x0 Add Mul x0 x3 -1 Add Mul x0 x3 Mul Mul x0 log x0 x3 Mul Mul Mul pi Mul x0 2 Pow Add 1 Mul -1 Mul Add x7 Mul pi Pow x0 2 Add x7 Mul pi Pow x0 2 -1 Pow Add 1 Mul -1 Mul acoth Add x7 Mul pi Pow x0 2 acoth Add x7 Mul pi Pow x0 2 -1 