exp Pow asec Add -5 x6 Mul Mul acoth pi x0 Pow x0 3 
Mul exp Pow asec Add -5 x6 Mul Mul acoth pi x0 Pow x0 3 Mul Pow asec Add -5 x6 Add Mul Mul acoth pi x0 Pow x0 3 -1 Mul Mul asec Add -5 x6 log asec Add -5 x6 Add Mul Pow x0 3 acoth pi Mul Mul acoth pi x0 Mul Pow x0 2 3 