Mul Pow asec Add Add Mul x0 -1 -1 2 Mul Pow sech x2 cot x3 x0 4 
Mul 4 Mul Pow asec Add Add Mul x0 -1 -1 2 Add Mul Pow sech x2 cot x3 x0 -1 Add Mul Mul Pow sech x2 cot x3 x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add Mul x0 -1 -1 2 Add Add Mul x0 -1 -1 2 -1 Add Add Mul x0 -1 -1 2 Add Add Mul x0 -1 -1 2 -1 Mul Mul asec Add Add Mul x0 -1 -1 2 log asec Add Add Mul x0 -1 -1 2 Pow sech x2 cot x3 