Details

sample59.0ms

Algorithm

intervals

Results

29.0ms

269×

body

valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	33
1	41	33
2	88	33
3	182	33
4	412	33
5	865	33
6	1204	33
7	1311	33
8	1663	33
9	2664	33
done	5001	33

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 29.6b

Counts

2 → 1

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
0.1b	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
28.9b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

14.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
11.0ms	(* (+ (* (+ y a) y) b) y)
12.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
29.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series220.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
9.0ms	(* (+ (* (+ y a) y) b) y)
17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
169.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify588.0ms

Counts

103 → 103

Iterations

Useful iterations: 2 (157.0ms)

Iter	Nodes	Cost
0	197	2669
1	518	2621
2	1844	2377
done	5000	2377

prune269.0ms

Filtered

79 candidates to 103 candidates (-30.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	13	104

Merged error: 28.5b

Counts

104 → 13

localize26.0ms

Local error

Found 4 expressions with local error:

4.3b	(+ (* y b) (pow y 3))
6.4b	(+ (* a (pow y 2)) (+ (* y b) (pow y 3)))
6.5b	(* a (pow y 2))
28.9b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* a (pow y 2)) (+ (* y b) (pow y 3))) c) y) i))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-log-exp`
9×	`times-frac`
8×	`associate-r` `add-cbrt-cube`
4×	`pow1` `unpow-prod-down` `flip3-+` `sum-log` `flip-+` `unswap-sqr`
3×	`associate-l` `prod-exp` `associate-/r` `associate-/l`
2×	`+-commutative` `associate-/r/` `associate-/l/` `unpow2` `sqr-pow`
1×	`cbrt-undiv` `cube-mult` `pow-to-exp` `associate-+r+` `frac-2neg` `div-exp` `pow-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out`

Counts

4 → 83

Calls

4 calls:

6.0ms	(+ (* y b) (pow y 3))
11.0ms	(+ (* a (pow y 2)) (+ (* y b) (pow y 3)))
6.0ms	(* a (pow y 2))
32.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* a (pow y 2)) (+ (* y b) (pow y 3))) c) y) i))

series194.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* y b) (pow y 3))
15.0ms	(+ (* a (pow y 2)) (+ (* y b) (pow y 3)))
7.0ms	(* a (pow y 2))
166.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* a (pow y 2)) (+ (* y b) (pow y 3))) c) y) i))

simplify508.0ms

Counts

95 → 95

Iterations

Useful iterations: done (505.0ms)

Iter	Nodes	Cost
0	178	2496
1	465	2414
2	1588	2211
done	5000	2079

prune259.0ms

Filtered

69 candidates to 95 candidates (-37.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	96	12	108

Merged error: 28.5b

Counts

108 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))
3.8b	(* (pow y 2) (+ y a))
4.2b	(+ (* (pow y 2) (+ y a)) (+ (* y b) c))
28.6b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
23×	`add-cube-cbrt`
22×	`add-exp-log`
20×	`times-frac`
19×	`associate-r`
13×	`add-cbrt-cube`
11×	`associate-l`
10×	`flip3-+` `flip-+`
9×	`add-log-exp`
7×	`pow1` `associate-*r/` `prod-exp` `unswap-sqr`
4×	`unpow-prod-down` `div-exp` `frac-add` `associate-/r/`
3×	`associate-/r` `sum-log` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `rec-exp` `associate-+l+` `distribute-lft-in` `1-exp` `associate-l/` `-commutative` `div-inv` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `associate-+r+` `pow-flip` `frac-2neg` `pow-prod-down` `pow-exp` `clear-num` `un-div-inv` `distribute-lft-out` `inv-pow`

Counts

4 → 126

Calls

4 calls:

16.0ms	(/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))
8.0ms	(* (pow y 2) (+ y a))
13.0ms	(+ (* (pow y 2) (+ y a)) (+ (* y b) c))
37.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))

series217.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))
6.0ms	(* (pow y 2) (+ y a))
17.0ms	(+ (* (pow y 2) (+ y a)) (+ (* y b) c))
168.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))

simplify788.0ms

Counts

138 → 138

Iterations

Useful iterations: 2 (253.0ms)

Iter	Nodes	Cost
0	248	3908
1	756	3712
2	3068	3321
done	5000	3321

prune327.0ms

Filtered

95 candidates to 138 candidates (-45.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	137	13	150

Merged error: 28.5b

Counts

150 → 13

localize35.0ms

Local error

Found 4 expressions with local error:

17.3b	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
17.3b	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
17.3b	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
24.4b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))) (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

45×	`cbrt-prod`
27×	`add-sqr-sqrt` `times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-div`
9×	`pow1` `add-exp-log` `frac-times`
7×	`flip3-+` `add-cbrt-cube` `flip-+`
6×	`associate-*r/` `associate-/r/`
5×	`associate-*l/`
4×	`add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

16.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
16.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
20.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
54.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))) (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))))

series474.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
64.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
61.0ms	(cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))
288.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i))) (cbrt (/ 1 (+ (* (+ (* (pow y 2) (+ y a)) (+ (* y b) c)) y) i)))))

simplify476.0ms

Counts

114 → 114

Iterations

Useful iterations: done (471.0ms)

Iter	Nodes	Cost
0	198	5250
1	481	5073
2	1424	4568
done	5002	4121

prune327.0ms

Filtered

83 candidates to 114 candidates (-37.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	112	15	127

Merged error: 28.5b

Counts

127 → 15

regimes1.7s

Accuracy

0% (1.6b remaining)

Error of 29.9b against oracle of 28.3b and baseline of 29.9b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	80
1	52	80
done	52	80

end0.0ms

sample1.5s

Algorithm

intervals

Results

755.0ms

8235×

body

valid

Details

sample59.0ms

simplify1.5s

prune6.0ms

localize32.0ms

rewrite72.0ms

series220.0ms

simplify588.0ms

prune269.0ms

localize26.0ms

rewrite57.0ms

series194.0ms

simplify508.0ms

prune259.0ms

localize26.0ms

rewrite78.0ms

series217.0ms

simplify788.0ms

prune327.0ms

localize35.0ms

rewrite110.0ms

series474.0ms

simplify476.0ms

prune327.0ms

regimes1.7s

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.5s

Profiling