Details

sample63.0ms

Algorithm

intervals

Results

21.0ms

420×

body

valid

simplify35.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	26	15
2	46	15
3	72	15
4	80	15
done	80	15

prune5.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: 0.0b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (* z t))
0.0b	(+ (+ (* x y) (* z t)) (* a b))
0.0b	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

4.0ms	(+ (* x y) (* z t))
6.0ms	(+ (+ (* x y) (* z t)) (* a b))
10.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

series160.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ (* x y) (* z t))
23.0ms	(+ (+ (* x y) (* z t)) (* a b))
126.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

simplify1.2s

Counts

47 → 47

Iterations

Useful iterations: 3 (367.0ms)

Iter	Nodes	Cost
0	84	777
1	280	723
2	1055	689
3	4025	677
done	5001	677

prune72.0ms

Filtered

36 candidates to 47 candidates (-30.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

rewrite47.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:

22.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
8.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
7.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
7.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series248.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
54.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
57.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
55.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify872.0ms

Counts

99 → 99

Iterations

Useful iterations: done (868.0ms)

Iter	Nodes	Cost
0	127	3586
1	286	3386
2	934	3119
3	3576	2787
done	5000	2716

prune124.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0.0b

Counts

102 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (pow (pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4) 1) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.5b	(pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

47×	`unpow-prod-down`
41×	`add-sqr-sqrt`
24×	`cbrt-prod`
17×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
16×	`sqrt-prod`
14×	`unswap-sqr`
13×	`add-exp-log`
7×	`pow1` `sqr-pow`
6×	`cbrt-div` `associate-r`
5×	`pow-exp` `prod-exp` `add-cbrt-cube`
4×	`pow-pow` `add-log-exp`
3×	`pow-to-exp` `pow-unpow` `flip3-+` `pow1/3` `flip-+`
2×	`sqrt-pow1` `associate-*r/`
1×	`pow1/2` `pow-prod-down` `*-commutative` `sqrt-pow2` `cbrt-unprod`

Counts

4 → 107

Calls

4 calls:

26.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4) 1) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
11.0ms	(pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)
8.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
7.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series330.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4) 1) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
90.0ms	(pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)
54.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
58.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify445.0ms

Counts

119 → 119

Iterations

Useful iterations: done (435.0ms)

Iter	Nodes	Cost
0	191	4487
1	442	4208
2	1588	3934
done	5000	3928

prune200.0ms

Filtered

95 candidates to 119 candidates (-25.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	118	5	123

Merged error: 0.0b

Counts

123 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.5b	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
0.5b	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

27×	`sqrt-prod`
24×	`unpow-prod-down`
21×	`cbrt-prod`
17×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`pow1` `pow-pow`
6×	`add-exp-log` `pow-unpow`
4×	`cbrt-div` `sqrt-pow1` `pow1/3` `add-cbrt-cube` `add-log-exp`
2×	`pow-to-exp` `flip3-+` `pow1/2` `sqrt-div` `pow-exp` `sqrt-pow2` `flip-+` `sqr-pow`

Counts

4 → 89

Calls

4 calls:

9.0ms	(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
12.0ms	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
12.0ms	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
8.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series286.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
83.0ms	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
86.0ms	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
58.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify793.0ms

Counts

101 → 101

Iterations

Useful iterations: done (788.0ms)

Iter	Nodes	Cost
0	156	2855
1	329	2645
2	894	2472
3	3052	2339
done	5001	2294

prune169.0ms

Filtered

69 candidates to 101 candidates (-46.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	101	5	106

Merged error: 0.0b

Counts

106 → 5

regimes1.5s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	15
1	22	15
done	22	15

end0.0ms

sample2.2s

Algorithm

intervals

Results

714.0ms

13826×

body

valid

Details

sample63.0ms

simplify35.0ms

prune5.0ms

localize12.0ms

rewrite21.0ms

series160.0ms

simplify1.2s

prune72.0ms

localize17.0ms

rewrite47.0ms

series248.0ms

simplify872.0ms

prune124.0ms

localize23.0ms

rewrite55.0ms

series330.0ms

simplify445.0ms

prune200.0ms

localize28.0ms

rewrite43.0ms

series286.0ms

simplify793.0ms

prune169.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.2s

Profiling