Details

sample29.0ms

Algorithm

intervals

Results

12.0ms	284×	body	80	valid
0.0ms	1×	body	160	valid

simplify6.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	205
1	17	205
2	33	205
3	55	205
4	85	205
5	116	205
6	150	205
7	231	205
8	317	205
9	395	205
10	502	205
11	756	205
12	1369	205
13	1967	205
14	2345	205
15	2654	205
16	2922	205
17	3189	205
18	3457	205
19	3718	205
20	3966	205
21	4219	205
22	4472	205
23	4719	205
24	4971	205
done	5001	205

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.2b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) t)
11.2b	(/ (* (- y z) t) (- a z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`add-cbrt-cube` `add-exp-log`
6×	`add-cube-cbrt`
5×	`associate-/r` `times-frac` `associate-l*`
4×	`pow1` `associate-*l/`
3×	`flip3--` `associate-r` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 51

Calls

2 calls:

17.0ms	(* (- y z) t)
18.0ms	(/ (* (- y z) t) (- a z))

series115.0ms

Counts

2 → 6

Calls

2 calls:

37.0ms	(* (- y z) t)
78.0ms	(/ (* (- y z) t) (- a z))

simplify3.1s

Counts

57 → 57

Iterations

Useful iterations: 2 (229.0ms)

Iter	Nodes	Cost
0	101	11091
1	264	9964
2	909	9644
3	4463	9644
done	5000	9644

prune248.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
4.8b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
36×	`times-frac`
32×	`cbrt-prod`
30×	`associate-r`
25×	`add-exp-log`
24×	`add-cube-cbrt`
20×	`cbrt-div`
18×	`add-cbrt-cube`
17×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `distribute-lft-out--` `difference-of-squares`
6×	`pow1` `unswap-sqr`
5×	`frac-times`
4×	`add-log-exp`
3×	`pow1/3` `associate-l/` `associate-r/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 122

Calls

4 calls:

5.0ms	(cbrt (- a z))
5.0ms	(cbrt (- a z))
5.0ms	(cbrt (- a z))
99.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

series660.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(cbrt (- a z))
159.0ms	(cbrt (- a z))
162.0ms	(cbrt (- a z))
125.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

simplify3.1s

Counts

134 → 134

Iterations

Useful iterations: done (3.1s)

Iter	Nodes	Cost
0	211	53493
1	606	48964
2	2338	48763
done	5002	43673

prune925.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
0.6b	(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
4.8b	(* (/ (- y z) (* (cbrt (- a z)) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (cbrt (- a z)))))) (/ t (cbrt (- a z))))

rewrite460.0ms

Algorithm

rewrite-expression-head

Rules

368×	`cbrt-div`
141×	`frac-times`
117×	`flip3--` `flip--`
89×	`associate-l`
82×	`associate-/r/`
53×	`associate-*r/`
47×	`associate-*l/`
43×	`add-sqr-sqrt`
36×	`add-exp-log`
35×	`*-un-lft-identity`
31×	`times-frac`
30×	`associate-r`
27×	`cbrt-prod`
24×	`add-cbrt-cube`
23×	`add-cube-cbrt`
14×	`prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp`
6×	`pow1` `distribute-lft-out--` `difference-of-squares`
4×	`add-log-exp`
3×	`pow1/3` `unswap-sqr`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 197

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
12.0ms	(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
424.0ms	(* (/ (- y z) (* (cbrt (- a z)) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (cbrt (- a z)))))) (/ t (cbrt (- a z))))

series649.0ms

Counts

4 → 12

Calls

4 calls:

162.0ms	(cbrt (- a z))
168.0ms	(cbrt (- a z))
172.0ms	(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
147.0ms	(* (/ (- y z) (* (cbrt (- a z)) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (cbrt (- a z)))))) (/ t (cbrt (- a z))))

simplify4.5s

Counts

209 → 209

Iterations

Useful iterations: done (4.4s)

Iter	Nodes	Cost
0	371	129817
1	1084	118983
2	4243	118062
done	5000	116382

prune2.3s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- a z))
11.7b	(* (- y z) (/ t (- a z)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-r`
9×	`add-cbrt-cube` `add-exp-log`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-l*`
4×	`pow1` `flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`frac-times` `cbrt-undiv` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-r/` `-commutative`

Counts

2 → 83

Calls

2 calls:

15.0ms	(/ t (- a z))
49.0ms	(* (- y z) (/ t (- a z)))

series158.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(/ t (- a z))
101.0ms	(* (- y z) (/ t (- a z)))

simplify1.8s

Counts

89 → 89

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	130	20913
1	317	18776
2	1193	18413
done	5000	18333

prune567.0ms

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0b

regimes704.0ms

Accuracy

73.8% (0.5b remaining)

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

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	707
1	27	707
done	27	707

end0.0ms

sample1.4s

Algorithm

intervals

Results

906.0ms	8695×	body	80	valid
0.0ms	2×	body	160	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	640	valid