Details

Time bar (total: 12.5s)

sample30.0ms

Algorithm
intervals
Results
17.0ms308×body80valid

simplify3.0s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

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

series97.0ms

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

simplify1.9s

Counts
41 → 41
Iterations
IterNodes
done5004
32551
2585
1193
073

prune186.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.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)))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
61×pow1
32×sqrt-pow1
23×pow-prod-down
20×associate-*l/
16×add-sqr-sqrt sqrt-div
12×*-un-lft-identity pow1/2
10×pow-prod-up add-cube-cbrt
9×flip3-- associate-*l* flip--
8×add-cbrt-cube add-exp-log
7×associate-*r*
6×pow-sqr sqrt-prod
4×frac-times swap-sqr insert-posit16 add-log-exp
2×prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×pow2 rem-square-sqrt pow-plus sqrt-unprod distribute-lft-out-- difference-of-squares
Counts
4 → 109
Calls
4 calls:
30.0ms
(* (- x 1.0) z)
11.0ms
(sqrt (* (- x 1.0) z))
6.0ms
(sqrt (* (- x 1.0) z))
72.0ms
(* (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)))

series361.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (- x 1.0) z)
133.0ms
(sqrt (* (- x 1.0) z))
126.0ms
(sqrt (* (- x 1.0) z))
54.0ms
(* (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)))

simplify2.2s

Counts
121 → 121
Iterations
IterNodes
done5006
32248
2665
1271
0124

prune469.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize36.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)))

rewrite70.0ms

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

series132.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(+ (* x y) (exp (log (* (- x 1.0) z))))
35.0ms
(* (- x 1.0) z)
44.0ms
(exp (log (* (- x 1.0) z)))

simplify2.2s

Counts
61 → 61
Iterations
IterNodes
done5003
32683
2708
1240
0102

prune269.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes184.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.1s

Algorithm
intervals
Results
798.0ms10006×body80valid