Pow asech Mul Mul exp x0 acsc x2 4 x0 
Mul Pow asech Mul Mul exp x0 acsc x2 4 Add x0 -1 Add Mul x0 Mul Mul 4 Mul acsc x2 exp x0 Pow Mul Mul Mul Mul exp x0 acsc x2 4 Mul Mul exp x0 acsc x2 4 sqrt Add 1 Mul -1 Pow Mul Mul Mul exp x0 acsc x2 4 Mul Mul exp x0 acsc x2 4 -1 -1 Mul asech Mul Mul exp x0 acsc x2 4 log asech Mul Mul exp x0 acsc x2 4 