Details

sample42.0ms

Algorithm

intervals

Results

18.0ms

347×

body

valid

simplify9.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
34	4913
33	4771
32	4635
31	4493
30	4341
29	4199
28	4063
27	3921
26	3769
25	3627
24	3491
23	3349
22	3197
21	3055
20	2919
19	2777
18	2625
17	2483
16	2347
15	2205
14	2055
13	1891
12	1591
11	992
10	265
9	145
8	114
7	83
6	66
5	57
4	49
3	34
2	20
1	13
0	8

prune40.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

34.0ms

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

series65.0ms

Counts

1 → 3

Calls

1 calls:

65.0ms

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

simplify2.8s

Counts

14 → 14

Iterations

Iter	Nodes
done	5056
3	1427
2	375
1	112
0	33

prune135.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))

rewrite268.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

181.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))
28.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
25.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
27.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

series1.6s

Counts

4 → 12

Calls

4 calls:

426.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))
430.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
364.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
377.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

simplify4.0s

Counts

99 → 99

Iterations

Iter	Nodes
done	5001
3	3117
2	1032
1	401
0	157

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize109.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.6b	(cbrt (+ (* (- 1.0 x) y) (* x z)))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

23.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
22.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
20.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
20.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

series2.3s

Counts

4 → 12

Calls

4 calls:

771.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
721.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
342.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
490.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

simplify3.8s

Counts

64 → 64

Iterations

Iter	Nodes
done	5017
3	1894
2	535
1	208
0	82

prune1.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (- 1.0 x) y) (* (- 1.0 x) y))
0.3b	(* (* x z) (* x z))
3.0b	(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
26.0b	(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

rewrite865.0ms

Algorithm

rewrite-expression-head

Rules

82×	`pow1`
34×	`pow-prod-down`
30×	`add-exp-log` `add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
14×	`associate-*l/`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
9×	`flip3--` `flip--`
8×	`pow-sqr` `pow-prod-up`
6×	`add-log-exp`
5×	`difference-of-squares`
4×	`frac-times` `pow-plus` `associate-/l*`
3×	`associate-/r*`
2×	`pow2` `associate-r/` `swap-sqr` `associate-r` `associate-l` `associate-/r/` `-commutative` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 125

Calls

4 calls:

221.0ms	(* (* (- 1.0 x) y) (* (- 1.0 x) y))
64.0ms	(* (* x z) (* x z))
169.0ms	(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
403.0ms	(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

series664.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(* (* (- 1.0 x) y) (* (- 1.0 x) y))
60.0ms	(* (* x z) (* x z))
199.0ms	(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
329.0ms	(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

simplify4.5s

Counts

137 → 137

Iterations

Iter	Nodes
done	5006
2	2092
1	557
0	189

prune1.5s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes425.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end0.0ms

sample2.8s

Algorithm

intervals

Results

689.0ms

10137×

body

valid