Mul x0 Pow Mul x0 Mul Mul x1 x0 Mul x0 acsch x3 Add Add -1.50528750304914 atan x0 x0 
Add Pow Mul x0 Mul Mul x1 x0 Mul x0 acsch x3 Add Add -1.50528750304914 atan x0 x0 Mul x0 Mul Pow Mul x0 Mul Mul x1 x0 Mul x0 acsch x3 Add Add Add -1.50528750304914 atan x0 x0 -1 Add Mul Add Add -1.50528750304914 atan x0 x0 Add Mul Mul x1 x0 Mul x0 acsch x3 Mul x0 Add Mul Mul x0 acsch x3 x1 Mul Mul x1 x0 acsch x3 Mul Mul Mul x0 Mul Mul x1 x0 Mul x0 acsch x3 log Mul x0 Mul Mul x1 x0 Mul x0 acsch x3 Add Pow Add 1 Mul x0 x0 -1 1 