Details

sample49.0ms

Algorithm

intervals

Results

15.0ms

377×

body

valid

simplify10.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	18	11
2	24	11
3	25	11
done	25	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))

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

series32.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify701.0ms

Counts

30 → 30

Iterations

Useful iterations: 3 (205.0ms)

Iter	Nodes	Cost
0	57	421
1	185	396
2	646	373
3	2157	369
done	5001	369

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

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

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

14.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (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)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series287.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
56.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
61.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
61.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify817.0ms

Counts

99 → 99

Iterations

Useful iterations: done (814.0ms)

Iter	Nodes	Cost
0	136	2826
1	317	2652
2	1010	2441
3	3068	2194
done	5000	2143

prune131.0ms

Filtered

82 candidates to 99 candidates (-20.7%)

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

localize18.0ms

Local error

Found 4 expressions with local error:

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

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

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

series370.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(cbrt (+ (+ (* z t) (* a b)) (* x y)))
61.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
150.0ms	(pow (cbrt (+ (+ (* z t) (* a b)) (* x y))) 6)
103.0ms	(cbrt (pow (cbrt (+ (+ (* z t) (* a b)) (* x y))) 6))

simplify1.2s

Counts

77 → 77

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	190	1732
1	456	1660
2	1342	1485
3	4593	1362
done	5000	1335

prune120.0ms

Filtered

57 candidates to 77 candidates (-35.1%)

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

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.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 (+ (+ (* z t) (* a b)) (* x y)))) 4) 1) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
9.0ms	(pow (sqrt (cbrt (+ (+ (* z t) (* a b)) (* x y)))) 4)
6.0ms	(cbrt (+ (+ (* z t) (* a b)) (* x y)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series263.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (* z t) (* a b)) (* x y)))) 4) 1) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
117.0ms	(pow (sqrt (cbrt (+ (+ (* z t) (* a b)) (* x y)))) 4)
56.0ms	(cbrt (+ (+ (* z t) (* a b)) (* x y)))
62.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify472.0ms

Counts

119 → 119

Iterations

Useful iterations: done (468.0ms)

Iter	Nodes	Cost
0	235	3591
1	560	3330
2	1829	3154
done	5001	3147

prune191.0ms

Filtered

95 candidates to 119 candidates (-25.3%)

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

regimes825.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.3s

Algorithm

intervals

Results

481.0ms

12061×

body

valid

Details

sample49.0ms

simplify10.0ms

prune4.0ms

localize9.0ms

rewrite11.0ms

series32.0ms

simplify701.0ms

prune47.0ms

localize13.0ms

rewrite33.0ms

series287.0ms

simplify817.0ms

prune131.0ms

localize18.0ms

rewrite31.0ms

series370.0ms

simplify1.2s

prune120.0ms

localize24.0ms

rewrite50.0ms

series263.0ms

simplify472.0ms

prune191.0ms

regimes825.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling