Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

339×

body

valid

simplify31.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	21	7
3	28	7
4	32	7
5	38	7
6	44	7
7	45	7
done	45	7

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

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

3.0ms	(+ x (* y (+ z x)))
6.0ms	(* y (+ z x))

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (* y (+ z x)))
7.0ms	(* y (+ z x))

simplify702.0ms

Counts

42 → 42

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	68	376
1	197	355
2	562	318
3	1823	318
done	5000	318

prune49.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	4	43

Merged error: 0b

Counts

43 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 25

Calls

2 calls:

5.0ms	(+ x (+ (* y z) (* x y)))
4.0ms	(+ (* y z) (* x y))

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (+ (* y z) (* x y)))
7.0ms	(+ (* y z) (* x y))

simplify961.0ms

Counts

31 → 31

Iterations

Useful iterations: 3 (200.0ms)

Iter	Nodes	Cost
0	53	400
1	174	301
2	586	280
3	2162	278
done	5000	278

prune45.0ms

Filtered

23 candidates to 31 candidates (-34.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0b

Counts

35 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series102.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
24.0ms	(cbrt y)
27.0ms	(cbrt y)
24.0ms	(cbrt y)

simplify756.0ms

Counts

85 → 85

Iterations

Useful iterations: 4 (321.0ms)

Iter	Nodes	Cost
0	76	590
1	151	526
2	449	466
3	1166	417
4	2502	378
done	5000	378

prune80.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	85	4	89

Merged error: 0b

Counts

89 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ z x)) (cbrt (+ z x)))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
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 → 95

Calls

4 calls:

11.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))

series150.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
33.0ms	(cbrt (+ z x))
33.0ms	(cbrt (+ z x))
37.0ms	(cbrt (+ z x))

simplify644.0ms

Counts

107 → 107

Iterations

Useful iterations: done (636.0ms)

Iter	Nodes	Cost
0	136	1356
1	287	1246
2	804	1133
3	2171	1021
done	5000	999

prune107.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	107	4	111

Merged error: 0b

Counts

111 → 4

regimes140.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	7	9
1	11	9
done	11	9

end0.0ms

sample634.0ms

Algorithm

intervals

Results

246.0ms

10203×

body

valid

Details

sample23.0ms

simplify31.0ms

prune3.0ms

localize5.0ms

rewrite10.0ms

series14.0ms

simplify702.0ms

prune49.0ms

localize10.0ms

rewrite10.0ms

series15.0ms

simplify961.0ms

prune45.0ms

localize9.0ms

rewrite12.0ms

series102.0ms

simplify756.0ms

prune80.0ms

localize9.0ms

rewrite23.0ms

series150.0ms

simplify644.0ms

prune107.0ms

regimes140.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample634.0ms

Profiling