acosh Add -3 Pow acsch x0 Add Add x3 -3 Pow 0.999909204262595 pi 
Mul Mul Pow acsch x0 Add Add Add x3 -3 Pow 0.999909204262595 pi -1 Mul Add Add x3 -3 Pow 0.999909204262595 pi Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Add -3 Pow acsch x0 Add Add x3 -3 Pow 0.999909204262595 pi -1 sqrt Add 1 Add -3 Pow acsch x0 Add Add x3 -3 Pow 0.999909204262595 pi -1 