Details

sample44.0ms

Algorithm

intervals

Results

14.0ms

377×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	18	11
2	24	11
done	24	11

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

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+`

Counts

2 → 24

Calls

2 calls:

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

series34.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(+ (+ (* x y) (* z t)) (* a b))
11.0ms	(+ (* x y) (* z t))

simplify1.1s

Counts

30 → 30

Iterations

Useful iterations: 3 (278.0ms)

Iter	Nodes	Cost
0	57	421
1	183	395
2	633	373
3	2116	369
done	5000	369

prune36.0ms

Filtered

24 candidates to 30 candidates (-25.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	2	31

Merged error: 0.0b

Counts

31 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

15.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
6.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series278.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
58.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
59.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
56.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify1.2s

Counts

99 → 99

Iterations

Useful iterations: 3 (557.0ms)

Iter	Nodes	Cost
0	136	2826
1	313	2637
2	888	2441
3	2736	2143
done	5000	2143

prune120.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	97	4	101

Merged error: 0b

Counts

101 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.7b	(pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6)
27.5b	(cbrt (pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

22×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
5×	`pow1` `add-exp-log`
4×	`cbrt-div` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow` `flip3-+` `flip-+` `sqr-pow`
1×	`pow-to-exp` `pow-exp`

Counts

4 → 65

Calls

4 calls:

5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
6.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
10.0ms	(pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6)
7.0ms	(cbrt (pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6))

series370.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
60.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
147.0ms	(pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6)
106.0ms	(cbrt (pow (cbrt (+ (+ (* x y) (* z t)) (* a b))) 6))

simplify1.2s

Counts

77 → 77

Iterations

Useful iterations: 3 (452.0ms)

Iter	Nodes	Cost
0	142	1732
1	331	1653
2	869	1420
3	3114	1322
done	5001	1322

prune112.0ms

Filtered

54 candidates to 77 candidates (-42.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	77	4	81

Merged error: 0b

Counts

81 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

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

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

20.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (* x y) (* z t)) (* a b)))) 4) 1) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
9.0ms	(pow (sqrt (cbrt (+ (+ (* x y) (* z t)) (* a b)))) 4)
6.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series268.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (* x y) (* z t)) (* a b)))) 4) 1) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
131.0ms	(pow (sqrt (cbrt (+ (+ (* x y) (* z t)) (* a b)))) 4)
56.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
59.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify632.0ms

Counts

119 → 119

Iterations

Useful iterations: 2 (169.0ms)

Iter	Nodes	Cost
0	186	3591
1	424	3312
2	1329	3187
done	5000	3187

prune177.0ms

Filtered

93 candidates to 119 candidates (-28.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	119	4	123

Merged error: 0b

Counts

123 → 4

regimes794.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	11
1	16	11
done	16	11

end0.0ms

sample1.4s

Algorithm

intervals

Results

601.0ms

12061×

body

valid

Details

sample44.0ms

simplify7.0ms

prune4.0ms

localize9.0ms

rewrite10.0ms

series34.0ms

simplify1.1s

prune36.0ms

localize15.0ms

rewrite34.0ms

series278.0ms

simplify1.2s

prune120.0ms

localize15.0ms

rewrite30.0ms

series370.0ms

simplify1.2s

prune112.0ms

localize16.0ms

rewrite44.0ms

series268.0ms

simplify632.0ms

prune177.0ms

regimes794.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling