sec Mul Pow acsch Pow pi acsc asech x5 x0 4 
Mul Mul tan Mul Pow acsch Pow pi acsc asech x5 x0 4 sec Mul Pow acsch Pow pi acsc asech x5 x0 4 Mul 4 Mul Pow acsch Pow pi acsc asech x5 Add x0 -1 Mul acsch Pow pi acsc asech x5 log acsch Pow pi acsc asech x5 