Add Pow Mul Mul cosh x0 x7 0.00647449318844777 x0 acosh Mul x0 acot x0 
Add Mul Pow Mul Mul cosh x0 x7 0.00647449318844777 Add x0 -1 Add Mul x0 Mul 0.00647449318844777 Mul x7 sinh x0 Mul Mul Mul cosh x0 x7 0.00647449318844777 log Mul Mul cosh x0 x7 0.00647449318844777 Mul Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul x0 acot x0 -1 sqrt Add 1 Mul x0 acot x0 -1 