Details

sample67.0ms

Algorithm

intervals

Results

21.0ms

420×

body

valid

simplify38.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	26	15
2	46	15
3	70	15
4	76	15
done	76	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

localize15.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))
9.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

series147.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(+ (* x y) (* z t))
21.0ms	(+ (+ (* x y) (* z t)) (* a b))
116.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

simplify1.6s

Counts

47 → 47

Iterations

Useful iterations: 3 (490.0ms)

Iter	Nodes	Cost
0	84	777
1	271	719
2	1003	689
3	4168	677
done	5001	677

prune66.0ms

Filtered

37 candidates to 47 candidates (-27.0%)

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

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

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

18.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (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)))
7.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series243.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
55.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
52.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
56.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify1.3s

Counts

99 → 99

Iterations

Useful iterations: 3 (556.0ms)

Iter	Nodes	Cost
0	127	3586
1	282	3367
2	850	3117
3	3275	2716
done	5000	2716

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

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

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

series323.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(* (pow (pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4) 1) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
89.0ms	(pow (sqrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)
53.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
58.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify828.0ms

Counts

119 → 119

Iterations

Useful iterations: 2 (173.0ms)

Iter	Nodes	Cost
0	191	4487
1	435	4190
2	1390	4033
done	5000	4033

prune197.0ms

Filtered

93 candidates to 119 candidates (-28.0%)

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))))
13.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)
7.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series279.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
84.0ms	(pow (sqrt (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) 4)
82.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)))

simplify942.0ms

Counts

101 → 101

Iterations

Useful iterations: 3 (342.0ms)

Iter	Nodes	Cost
0	156	2855
1	327	2622
2	791	2498
3	2617	2382
done	5000	2382

prune173.0ms

Filtered

71 candidates to 101 candidates (-42.3%)

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.0s

Algorithm

intervals

Results

738.0ms

13826×

body

valid

Details

sample67.0ms

simplify38.0ms

prune5.0ms

localize15.0ms

rewrite21.0ms

series147.0ms

simplify1.6s

prune66.0ms

localize16.0ms

rewrite43.0ms

series243.0ms

simplify1.3s

prune122.0ms

localize23.0ms

rewrite54.0ms

series323.0ms

simplify828.0ms

prune197.0ms

localize28.0ms

rewrite43.0ms

series279.0ms

simplify942.0ms

prune173.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling