Details

Time bar (total: 10.0m)

sample109.0ms

Algorithm
intervals
Results
76.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
done5003
41689
3453
2136
155
029

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.2b

localize80.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.1b
(* (+ (* x 4.16438922228) 78.6994924154) x)
0.1b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
23.2b
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite10.0m

Algorithm
rewrite-expression-head