Details

sample56.0ms

Algorithm

intervals

Results

25.0ms

269×

body

valid

simplify1.6s

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	1210	33
7	1360	33
8	1834	33
9	2927	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

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

rewrite69.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)
10.0ms	(* (+ (* (+ y a) y) b) y)
13.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
30.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series216.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
8.0ms	(* (+ (* (+ y a) y) b) y)
16.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
165.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify650.0ms

Counts

103 → 103

Iterations

Useful iterations: done (647.0ms)

Iter	Nodes	Cost
0	197	2669
1	518	2624
2	2008	2388
done	5001	2377

prune271.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

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

rewrite56.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))
10.0ms	(+ (* a (pow y 2)) (+ (* y b) (pow y 3)))
6.0ms	(* a (pow y 2))
30.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* a (pow y 2)) (+ (* y b) (pow y 3))) c) y) i))

series195.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))
167.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* a (pow y 2)) (+ (* y b) (pow y 3))) c) y) i))

simplify735.0ms

Counts

95 → 95

Iterations

Useful iterations: done (731.0ms)

Iter	Nodes	Cost
0	178	2496
1	465	2420
2	1599	2216
done	5002	2082

prune237.0ms

Filtered

70 candidates to 95 candidates (-35.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 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i))
3.8b	(* (* y y) (+ y a))
4.2b	(+ (* (* y y) (+ y a)) (+ (* y b) c))
28.6b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
22×	`add-exp-log`
21×	`add-cube-cbrt`
20×	`times-frac`
19×	`associate-r`
16×	`add-cbrt-cube`
12×	`pow1`
10×	`flip3-+` `flip-+`
9×	`add-log-exp`
7×	`associate-*r/` `prod-exp`
5×	`cbrt-unprod`
4×	`div-exp` `associate-l` `pow-prod-down` `frac-add` `associate-/r/` `unswap-sqr`
3×	`associate-/r` `sum-log` `associate-/l`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `rec-exp` `associate-+l+` `distribute-lft-in` `1-exp` `associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `associate-+r+` `pow-flip` `frac-2neg` `clear-num` `un-div-inv` `distribute-lft-out` `inv-pow`

Counts

4 → 118

Calls

4 calls:

17.0ms	(/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i))
13.0ms	(* (* y y) (+ y a))
13.0ms	(+ (* (* y y) (+ y a)) (+ (* y b) c))
35.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i)))

series215.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i))
6.0ms	(* (* y y) (+ y a))
18.0ms	(+ (* (* y y) (+ y a)) (+ (* y b) c))
166.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i)))

simplify876.0ms

Counts

130 → 130

Iterations

Useful iterations: done (872.0ms)

Iter	Nodes	Cost
0	235	3826
1	722	3656
2	3255	3056
done	5000	3050

prune247.0ms

Filtered

87 candidates to 130 candidates (-49.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	128	14	142

Merged error: 28.5b

Counts

142 → 14

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.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-*l/` `associate-/r/`
5×	`associate-*r/`
4×	`add-log-exp`
3×	`pow1/3` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `*-commutative` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

12.0ms	(cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))
12.0ms	(cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))
16.0ms	(cbrt (/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i)))
30.0ms	(* (* (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i))) (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))) (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)))

series743.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))
65.0ms	(cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))
61.0ms	(cbrt (/ 1 (+ (* (+ (* (* y y) (+ y a)) (+ (* y b) c)) y) i)))
552.0ms	(* (* (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i))) (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))) (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)))

simplify644.0ms

Counts

116 → 116

Iterations

Useful iterations: done (638.0ms)

Iter	Nodes	Cost
0	264	5139
1	665	4940
2	2207	4379
done	5000	4359

prune240.0ms

Filtered

80 candidates to 116 candidates (-45.0%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	114	16	130

Merged error: 28.5b

Counts

130 → 16

regimes1.7s

Accuracy

0% (1.3b remaining)

Error of 29.4b against oracle of 28.1b and baseline of 29.4b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	37
1	47	37
done	47	37

end0.0ms

sample1.6s

Algorithm

intervals

Results

763.0ms

8235×

body

valid

Details

sample56.0ms

simplify1.6s

prune6.0ms

localize31.0ms

rewrite69.0ms

series216.0ms

simplify650.0ms

prune271.0ms

localize30.0ms

rewrite56.0ms

series195.0ms

simplify735.0ms

prune237.0ms

localize26.0ms

rewrite82.0ms

series215.0ms

simplify876.0ms

prune247.0ms

localize46.0ms

rewrite73.0ms

series743.0ms

simplify644.0ms

prune240.0ms

regimes1.7s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.6s

Profiling