asin log Add x0 Pow x0 Mul 4 Add x7 csch x4 
Mul Mul Add 1 Mul Pow x0 Add Mul 4 Add x7 csch x4 -1 Mul 4 Add x7 csch x4 Pow Add x0 Pow x0 Mul 4 Add x7 csch x4 -1 Pow sqrt Add 1 Mul -1 Mul log Add x0 Pow x0 Mul 4 Add x7 csch x4 log Add x0 Pow x0 Mul 4 Add x7 csch x4 -1 