Add Mul pi cosh x0 Pow exp Mul x0 -3 Add tan Add x0 x0 acoth x5 
Add Mul pi sinh x0 Mul Pow exp Mul x0 -3 Add Add tan Add x0 x0 acoth x5 -1 Add Mul Add tan Add x0 x0 acoth x5 Mul exp Mul x0 -3 -3 Mul Mul exp Mul x0 -3 log exp Mul x0 -3 Mul Pow sec Add x0 x0 2 2 