Pow Pow asin Pow acoth x0 Add Mul x7 -2 x3 Mul exp sec x0 Add x0 x1 2 
Mul Pow asin Pow acoth x0 Add Mul x7 -2 x3 Mul exp sec x0 Add x0 x1 Mul 2 Mul Pow asin Pow acoth x0 Add Mul x7 -2 x3 Add Mul exp sec x0 Add x0 x1 -1 Add Mul Mul exp sec x0 Add x0 x1 Mul Mul Pow acoth x0 Add Add Mul x7 -2 x3 -1 Mul Add Mul x7 -2 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acoth x0 Add Mul x7 -2 x3 Pow acoth x0 Add Mul x7 -2 x3 -1 Mul Mul asin Pow acoth x0 Add Mul x7 -2 x3 log asin Pow acoth x0 Add Mul x7 -2 x3 Add Mul Add x0 x1 Mul exp sec x0 Mul tan x0 sec x0 exp sec x0 