asin Add Pow Add 0.0400000000000000 Mul acsch x0 -3 sinh log sqrt pi x3 
Mul Mul Pow Add 0.0400000000000000 Mul acsch x0 -3 Add sinh log sqrt pi -1 Mul sinh log sqrt pi Mul -3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add Pow Add 0.0400000000000000 Mul acsch x0 -3 sinh log sqrt pi x3 Add Pow Add 0.0400000000000000 Mul acsch x0 -3 sinh log sqrt pi x3 -1 