Details

sample30.0ms

Algorithm

intervals

Results

13.0ms	332×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

simplify74.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (11.0ms)

Iter	Nodes	Cost
0	11	13
1	19	13
2	39	11
3	94	9
4	170	9
5	189	9
done	189	9

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (+ d3 5.0) 32.0) d2)
0.0b	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
12×	`distribute-lft-out`
11×	`add-log-exp`
6×	`add-sqr-sqrt` `associate-r` `sum-log`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`associate-l`
2×	`flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `associate-+l+` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 42

Calls

2 calls:

9.0ms	(+ (+ (+ d3 5.0) 32.0) d2)
12.0ms	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))

series11.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(+ (+ (+ d3 5.0) 32.0) d2)
8.0ms	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))

simplify999.0ms

Counts

48 → 48

Iterations

Useful iterations: 3 (265.0ms)

Iter	Nodes	Cost
0	74	529
1	207	509
2	690	450
3	3426	446
done	5001	446

prune62.0ms

Filtered

28 candidates to 48 candidates (-71.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	46	4	50

Merged error: 0b

Counts

50 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ d3 5.0) d1)
0.0b	(+ (* d1 d2) (* (+ d3 5.0) d1))
0.0b	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
4×	`associate-l` `sum-log`
3×	`flip3-+` `associate-r` `flip-+`
2×	`+-commutative` `associate-*l/`
1×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

3 → 45

Calls

3 calls:

7.0ms	(* (+ d3 5.0) d1)
4.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
7.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

series23.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* (+ d3 5.0) d1)
8.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
9.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

simplify1.3s

Counts

54 → 54

Iterations

Useful iterations: 3 (400.0ms)

Iter	Nodes	Cost
0	93	709
1	275	654
2	1017	537
3	4219	502
done	5000	502

prune78.0ms

Filtered

37 candidates to 54 candidates (-45.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	54	4	58

Merged error: 0b

Counts

58 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))
0.1b	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
0.1b	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
0.3b	(* (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))) (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*r/`
19×	`*-un-lft-identity`
16×	`sqrt-div`
14×	`add-sqr-sqrt`
12×	`pow1/2`
10×	`add-cube-cbrt` `associate-r` `pow-prod-up`
9×	`flip3-+` `flip-+`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-l`
6×	`sqrt-prod` `pow-sqr` `distribute-lft-out`
4×	`frac-times` `swap-sqr` `add-log-exp`
2×	`associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 108

Calls

4 calls:

12.0ms	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))
10.0ms	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
10.0ms	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
25.0ms	(* (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))) (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))))

series131.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* d1 (+ (+ (+ d3 5.0) 32.0) d2))
24.0ms	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
20.0ms	(sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2)))
79.0ms	(* (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))) (sqrt (* d1 (+ (+ (+ d3 5.0) 32.0) d2))))

simplify447.0ms

Counts

120 → 120

Iterations

Useful iterations: done (443.0ms)

Iter	Nodes	Cost
0	146	2138
1	347	1676
2	1257	1520
done	5000	1491

prune172.0ms

Filtered

70 candidates to 120 candidates (-71.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	120	4	124

Merged error: 0b

Counts

124 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))
3.6b	(+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))
5.2b	(* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3)))
27.8b	(/ (* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))) (+ (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
50×	`distribute-lft-out`
24×	`unpow-prod-down` `cube-prod`
18×	`associate-/r/`
17×	`associate-r`
16×	`flip3-+` `frac-add` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`flip3--` `flip--`
8×	`frac-times` `add-cube-cbrt` `associate-*r/` `add-log-exp`
6×	`pow1`
4×	`associate-*l/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `sum-cubes` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `distribute-rgt-out--` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `clear-num` `sum-log` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 115

Calls

4 calls:

4.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))
20.0ms	(+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))
29.0ms	(* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3)))
42.0ms	(/ (* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))) (+ (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))))

series133.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))
11.0ms	(+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))
40.0ms	(* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3)))
76.0ms	(/ (* d1 (+ (pow (+ (+ d3 5.0) 32.0) 3) (pow d2 3))) (+ (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) d2))))

simplify973.0ms

Counts

127 → 127

Iterations

Useful iterations: done (968.0ms)

Iter	Nodes	Cost
0	249	4097
1	803	3657
2	3714	3315
done	5000	3310

prune323.0ms

Filtered

81 candidates to 127 candidates (-56.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	127	4	131

Merged error: 0b

Counts

131 → 4

regimes261.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	9	9
1	13	9
done	13	9

end0.0ms

sample831.0ms

Algorithm

intervals

Results

404.0ms	10197×	body	80	valid
2.0ms	18×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	6×	body	1280	valid
1.0ms	11×	body	160	valid

Details

sample30.0ms

simplify74.0ms

prune13.0ms

localize7.0ms

rewrite23.0ms

series11.0ms

simplify999.0ms

prune62.0ms

localize10.0ms

rewrite19.0ms

series23.0ms

simplify1.3s

prune78.0ms

localize10.0ms

rewrite61.0ms

series131.0ms

simplify447.0ms

prune172.0ms

localize18.0ms

rewrite101.0ms

series133.0ms

simplify973.0ms

prune323.0ms

regimes261.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample831.0ms

Profiling