Details

analyze442.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

sample48.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
11.0ms	158×	body	80	nan
0.0ms	1×	body	80	invalid

simplify155.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (146.0ms)

Iter	Nodes	Cost
0	5148	25

prune2.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.2b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64`
19×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64`
14×	`add-log-exp_binary64`
12×	`add-cube-cbrt_binary64`
9×	`distribute-lft-out_binary64` `log-pow_binary64` `associate-+r+_binary64`
6×	`flip3--_binary64` `associate-+l+_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `associate-*l/_binary64` `sum-log_binary64`
5×	`associate-l_binary64` `associate-+l-_binary64`
4×	`flip3-+_binary64` `diff-log_binary64` `associate-r_binary64` `frac-add_binary64` `log-div_binary64` `flip-+_binary64`
2×	`sub-neg_binary64` `associate--l-_binary64` `difference-of-squares_binary64` `+-commutative_binary64` `associate--l+_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 100

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
16.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
7.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series390.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
179.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
38.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
56.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify82.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4971	2413
1	4971	2413

prune123.0ms

Filtered

84 candidates to 112 candidates (-33.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	104	8	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t))) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

45×	`*-un-lft-identity_binary64`
31×	`log-prod_binary64`
26×	`add-sqr-sqrt_binary64`
21×	`add-log-exp_binary64`
20×	`pow1_binary64` `frac-add_binary64` `associate-*l/_binary64`
18×	`add-cube-cbrt_binary64`
16×	`flip3--_binary64` `flip--_binary64`
15×	`distribute-lft-out_binary64`
14×	`log-pow_binary64`
12×	`associate-r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `sqrt-prod_binary64` `sum-log_binary64`
10×	`associate-l_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`distribute-lft-out--_binary64`
6×	`associate-+l+_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`diff-log_binary64` `associate-+r+_binary64`
3×	`associate-+l-_binary64`
2×	`pow-prod-down_binary64` `pow1/2_binary64` `cbrt-unprod_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `log-div_binary64` `+-commutative_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `associate--l+_binary64`

Counts

4 → 136

Calls

4 calls:

21.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t))) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))))
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series337.0ms

Counts

4 → 12

Calls

4 calls:

220.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t))) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))))
29.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
30.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
57.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify130.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4871	4131
1	4871	4131

prune141.0ms

Filtered

96 candidates to 148 candidates (-54.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	147	9	156

Merged error: 0.0b

Counts

156 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z)))) (log.f64 (cbrt.f64 z)))
0.5b	(+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z))))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod_binary64`
18×	`*-un-lft-identity_binary64` `associate-+r+_binary64`
15×	`cbrt-prod_binary64`
13×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
7×	`add-log-exp_binary64`
6×	`distribute-lft-in_binary64` `associate-+l-_binary64` `distribute-rgt-in_binary64`
5×	`pow1_binary64` `associate-+l+_binary64`
4×	`flip3-+_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `log-div_binary64` `flip-+_binary64` `sum-log_binary64`
3×	`distribute-lft-out_binary64`
2×	`pow1/3_binary64` `+-commutative_binary64`
1×	`log-pow_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z)))) (log.f64 (cbrt.f64 z)))
8.0ms	(+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z))))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series392.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z)))) (log.f64 (cbrt.f64 z)))
114.0ms	(+.f64 (log.f64 (+.f64 x y)) (*.f64 2 (log.f64 (cbrt.f64 z))))
85.0ms	(cbrt.f64 z)
82.0ms	(cbrt.f64 z)

simplify96.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5045	1196

prune104.0ms

Filtered

77 candidates to 86 candidates (-11.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	86	9	95

Merged error: 0.0b

Counts

95 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.4b	(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
0.5b	(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
29×	`log-prod_binary64`
24×	`pow1_binary64` `distribute-lft-out_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`log-pow_binary64`
15×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
14×	`associate-+r+_binary64`
12×	`associate-+l+_binary64`
11×	`sum-log_binary64`
8×	`sqrt-prod_binary64`
6×	`flip3-+_binary64` `associate-+r-_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `log-div_binary64` `flip-+_binary64` `sqrt-div_binary64` `associate-*l/_binary64`
5×	`flip3--_binary64` `associate-l_binary64` `flip--_binary64`
4×	`associate-r_binary64` `frac-add_binary64`
3×	`diff-log_binary64` `associate-+l-_binary64` `+-commutative_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l+_binary64` `*-commutative_binary64`

Counts

4 → 117

Calls

4 calls:

20.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
7.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
13.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
9.0ms	(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))

series439.0ms

Counts

4 → 12

Calls

4 calls:

223.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
42.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
87.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
87.0ms	(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))

simplify95.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4980	3167
1	4980	3167

prune118.0ms

Filtered

91 candidates to 129 candidates (-41.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	129	9	138

Merged error: 0.0b

Counts

138 → 9

regimes253.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	40
1	40	40

end0.0ms

sample1.3s

Algorithm

intervals

Results

630.0ms	8000×	body	80	valid
300.0ms	4276×	body	80	nan
3.0ms	35×	body	80	invalid

Details

analyze442.0ms

sample48.0ms

simplify155.0ms

prune2.0ms

localize15.0ms

rewrite42.0ms

series390.0ms

simplify82.0ms

prune123.0ms

localize17.0ms

rewrite50.0ms

series337.0ms

simplify130.0ms

prune141.0ms

localize18.0ms

rewrite23.0ms

series392.0ms

simplify96.0ms

prune104.0ms

localize18.0ms

rewrite54.0ms

series439.0ms

simplify95.0ms

prune118.0ms

regimes253.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.3s

Profiling