acoth Add x3 Mul x0 exp atan Pow sec x0 Add x7 Mul x7 x4 
Mul Add exp atan Pow sec x0 Add x7 Mul x7 x4 Mul x0 Mul exp atan Pow sec x0 Add x7 Mul x7 x4 Mul Mul Pow sec x0 Add Add x7 Mul x7 x4 -1 Mul Add x7 Mul x7 x4 Mul tan x0 sec x0 Pow Add 1 Mul Pow sec x0 Add x7 Mul x7 x4 Pow sec x0 Add x7 Mul x7 x4 -1 Pow Add 1 Mul -1 Mul Add x3 Mul x0 exp atan Pow sec x0 Add x7 Mul x7 x4 Add x3 Mul x0 exp atan Pow sec x0 Add x7 Mul x7 x4 -1 