Mul sec x0 atanh Mul acsc x7 Mul Pow pi x0 Add pi x0 
Add Mul atanh Mul acsc x7 Mul Pow pi x0 Add pi x0 Mul tan x0 sec x0 Mul sec x0 Mul Mul acsc x7 Add Mul Add pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow pi x0 Pow Add 1 Mul -1 Mul Mul acsc x7 Mul Pow pi x0 Add pi x0 Mul acsc x7 Mul Pow pi x0 Add pi x0 -1 