Details

Time bar (total: 14.2s)

sample50.0ms

Algorithm
intervals
Results
32.0ms308×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5001
574953
564873
554787
544707
534621
524541
514455
504375
494289
484209
474123
464043
453957
443877
433791
423711
413625
403545
393459
383379
373293
363213
353127
343047
332961
322881
312795
302715
292629
282549
272463
262383
252297
242217
232131
222051
211965
201883
191801
181715
171631
161529
151453
141357
131251
121108
11757
10223
9129
8101
778
662
558
451
334
220
113
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* (- x 1.0) z))
0.0b
(* (- x 1.0) z)

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
12×associate-*l*
8×add-sqr-sqrt
6×distribute-lft-out
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r* distribute-lft-out--
2×associate-*l/ insert-posit16
1×+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- difference-of-squares unswap-sqr
Counts
2 → 41
Calls
2 calls:
121.0ms
(+ (* x y) (* (- x 1.0) z))
47.0ms
(* (- x 1.0) z)

series80.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(+ (* x y) (* (- x 1.0) z))
37.0ms
(* (- x 1.0) z)

simplify2.2s

Counts
47 → 47
Iterations
IterNodes
done5004
32551
2585
1193
073

prune182.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- x 1.0) z)
0.0b
(sqrt (* (- x 1.0) z))
0.0b
(sqrt (* (- x 1.0) z))
0.2b
(* (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)))

rewrite399.0ms

Algorithm
rewrite-expression-head
Rules
110×sqrt-prod
90×add-sqr-sqrt
61×pow1
60×associate-*l*
58×*-un-lft-identity
38×associate-*r*
32×sqrt-pow1
28×add-cube-cbrt
25×swap-sqr
24×unswap-sqr
23×pow-prod-down
20×associate-*l/
16×sqrt-div
12×pow1/2
11×distribute-lft-out--
10×pow-prod-up
9×flip3-- flip--
8×add-cbrt-cube add-exp-log *-commutative
7×difference-of-squares
6×pow-sqr
4×frac-times rem-sqrt-square insert-posit16 add-log-exp
2×prod-exp associate-*r/ cbrt-unprod
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 194
Calls
4 calls:
28.0ms
(* (- x 1.0) z)
61.0ms
(sqrt (* (- x 1.0) z))
33.0ms
(sqrt (* (- x 1.0) z))
267.0ms
(* (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)))

series344.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (- x 1.0) z)
130.0ms
(sqrt (* (- x 1.0) z))
130.0ms
(sqrt (* (- x 1.0) z))
34.0ms
(* (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)))

simplify2.3s

Counts
206 → 206
Iterations
IterNodes
done5002
32673
2863
1341
0176

prune779.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x y) (exp (log (* (- x 1.0) z))))
0.0b
(* (- x 1.0) z)
2.2b
(exp (log (* (- x 1.0) z)))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
14×log-prod exp-sum
11×associate-*l*
9×add-cube-cbrt
8×pow1
6×associate-*r* add-log-exp
5×exp-prod add-cbrt-cube add-exp-log
4×associate-*l/
3×insert-posit16
2×log-div flip3-- exp-diff pow-prod-down log-pow *-commutative flip-- distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr rem-exp-log
1×+-commutative sum-log flip3-+ prod-exp cbrt-unprod flip-+
Counts
3 → 68
Calls
3 calls:
160.0ms
(+ (* x y) (exp (log (* (- x 1.0) z))))
24.0ms
(* (- x 1.0) z)
57.0ms
(exp (log (* (- x 1.0) z)))

series151.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(+ (* x y) (exp (log (* (- x 1.0) z))))
43.0ms
(* (- x 1.0) z)
64.0ms
(exp (log (* (- x 1.0) z)))

simplify2.1s

Counts
77 → 77
Iterations
IterNodes
done5000
32405
2777
1286
0136

prune356.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes218.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample1.6s

Algorithm
intervals
Results
799.0ms10006×body80valid