Mul Mul x0 acos Pow 7.01525255143453 x0 Pow tan Pow tan x1 coth x1 x0 
Add Mul Pow tan Pow tan x1 coth x1 x0 Add acos Pow 7.01525255143453 x0 Mul x0 Mul -1 Mul Mul Pow 7.01525255143453 Add x0 -1 8.96333926597093 Pow sqrt Add 1 Mul -1 Mul Pow 7.01525255143453 x0 Pow 7.01525255143453 x0 -1 Mul Mul x0 acos Pow 7.01525255143453 x0 Mul Pow tan Pow tan x1 coth x1 Add x0 -1 Mul tan Pow tan x1 coth x1 log tan Pow tan x1 coth x1 