tan Mul acsch Add Mul x0 x0 -4 Add Mul Pow acsc x4 x0 x0 x1 
Mul Pow sec Mul acsch Add Mul x0 x0 -4 Add Mul Pow acsc x4 x0 x0 x1 2 Add Mul Add Mul Pow acsc x4 x0 x0 x1 Mul Mul -1 Add x0 x0 Pow Mul Mul Add Mul x0 x0 -4 Add Mul x0 x0 -4 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 x0 -4 Add Mul x0 x0 -4 -1 -1 Mul acsch Add Mul x0 x0 -4 Add Mul x0 Mul Pow acsc x4 Add x0 -1 Mul acsc x4 log acsc x4 Pow acsc x4 x0 