acos Pow x0 Add Pow asech x5 sqrt Mul x5 Mul x0 5 0.00800000000000000 
Mul -1 Mul Mul Pow x0 Add Add Pow asech x5 sqrt Mul x5 Mul x0 5 0.00800000000000000 -1 Add Add Pow asech x5 sqrt Mul x5 Mul x0 5 0.00800000000000000 Mul Mul x0 log x0 Mul Pow asech x5 Add sqrt Mul x5 Mul x0 5 -1 Mul Mul asech x5 log asech x5 Mul Pow Mul 2 sqrt Mul x5 Mul x0 5 -1 Mul x5 5 Pow sqrt Add 1 Mul -1 Mul Pow x0 Add Pow asech x5 sqrt Mul x5 Mul x0 5 0.00800000000000000 Pow x0 Add Pow asech x5 sqrt Mul x5 Mul x0 5 0.00800000000000000 -1 