Mul acosh Mul x0 Add 0.283662185463226 x0 asin Mul Add acos sinh Mul x7 x0 Mul x0 x0 pi 
Add Mul asin Mul Add acos sinh Mul x7 x0 Mul x0 x0 pi Mul Add Add 0.283662185463226 x0 x0 Pow Mul sqrt Add Mul x0 Add 0.283662185463226 x0 -1 sqrt Add 1 Mul x0 Add 0.283662185463226 x0 -1 Mul acosh Mul x0 Add 0.283662185463226 x0 Mul Mul pi Add Mul -1 Mul Mul cosh Mul x7 x0 x7 Pow sqrt Add 1 Mul -1 Mul sinh Mul x7 x0 sinh Mul x7 x0 -1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Add acos sinh Mul x7 x0 Mul x0 x0 pi Mul Add acos sinh Mul x7 x0 Mul x0 x0 pi -1 