Mul Pow x0 Pow sec x0 Add Mul acoth asech Pow x7 pi x0 x4 x0 
Add Mul x0 Mul Pow x0 Add Pow sec x0 Add Mul acoth asech Pow x7 pi x0 x4 -1 Add Pow sec x0 Add Mul acoth asech Pow x7 pi x0 x4 Mul Mul x0 log x0 Mul Pow sec x0 Add Add Mul acoth asech Pow x7 pi x0 x4 -1 Add Mul Add Mul acoth asech Pow x7 pi x0 x4 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 acoth asech Pow x7 pi Pow x0 Pow sec x0 Add Mul acoth asech Pow x7 pi x0 x4 