sec Mul Add x0 csc log log Pow acoth x5 3 Add Mul Mul x0 log E -4 x0 
Mul Mul tan Mul Add x0 csc log log Pow acoth x5 3 Add Mul Mul x0 log E -4 x0 sec Mul Add x0 csc log log Pow acoth x5 3 Add Mul Mul x0 log E -4 x0 Add Add Mul Mul x0 log E -4 x0 Mul Add x0 csc log log Pow acoth x5 3 Add Mul -4 log E 1 