Pow cot Add x0 Add x1 Mul x0 csch cos Add x7 0.0312500000000000 Pow x0 acosh x0 
Mul Pow cot Add x0 Add x1 Mul x0 csch cos Add x7 0.0312500000000000 Add Pow x0 acosh x0 -1 Add Mul Pow x0 acosh x0 Mul Mul -1 Pow csc Add x0 Add x1 Mul x0 csch cos Add x7 0.0312500000000000 2 Add 1 csch cos Add x7 0.0312500000000000 Mul Mul cot Add x0 Add x1 Mul x0 csch cos Add x7 0.0312500000000000 log cot Add x0 Add x1 Mul x0 csch cos Add x7 0.0312500000000000 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 