Details

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

sample41.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
8.0ms	136×	body	80	nan

simplify139.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (136.0ms)

Iter	Nodes	Cost
0	4938	16
1	4938	16

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

Counts

2 → 1

localize19.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 a 1/2) (log.f64 t))
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite41.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)
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
14.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series106.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
9.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
54.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
13.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4981	1543
1	4981	1543

prune96.0ms

Filtered

84 candidates to 112 candidates (-33.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	5	113

Merged error: 0.0b

Counts

113 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
0.5b	(cbrt.f64 (+.f64 x y))
0.5b	(cbrt.f64 (+.f64 x y))
0.5b	(cbrt.f64 (+.f64 x y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod_binary64`
35×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3-+_binary64` `swap-sqr_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `flip-+_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 95

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))

series132.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
31.0ms	(cbrt.f64 (+.f64 x y))
29.0ms	(cbrt.f64 (+.f64 x y))
29.0ms	(cbrt.f64 (+.f64 x y))

simplify39.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5175	995

prune73.0ms

Filtered

80 candidates to 107 candidates (-33.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	107	5	112

Merged error: 0.0b

Counts

112 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

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

series85.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify33.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	4997	1444
1	4997	1444

prune67.0ms

Filtered

80 candidates to 110 candidates (-37.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	110	5	115

Merged error: 0.0b

Counts

115 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

20×	`frac-add_binary64` `associate-*l/_binary64`
19×	`log-prod_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-log-exp_binary64`
15×	`associate-+r+_binary64`
14×	`flip3--_binary64` `flip--_binary64`
12×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
9×	`sum-log_binary64`
8×	`pow1_binary64`
6×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
5×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-+l+_binary64` `flip-+_binary64`
4×	`log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-+l-_binary64`
2×	`diff-log_binary64` `pow1/3_binary64` `log-div_binary64` `+-commutative_binary64`

Counts

4 → 86

Calls

4 calls:

22.0ms	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t))))) (*.f64 (-.f64 a 1/2) (log.f64 (cbrt.f64 t))))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series146.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t))))) (*.f64 (-.f64 a 1/2) (log.f64 (cbrt.f64 t))))
14.0ms	(cbrt.f64 t)
14.0ms	(cbrt.f64 t)
13.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify45.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4933	2412
1	4933	2412

prune83.0ms

Filtered

84 candidates to 98 candidates (-16.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	97	6	103

Merged error: 0b

Counts

103 → 6

regimes657.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	28
1	42	28

end0.0ms

sample1.2s

Algorithm

intervals

Results

579.0ms	8000×	body	80	valid
280.0ms	4321×	body	80	nan
2.0ms	35×	body	80	invalid

Details

analyze382.0ms

sample41.0ms

simplify139.0ms

prune4.0ms

localize19.0ms

rewrite41.0ms

series106.0ms

simplify50.0ms

prune96.0ms

localize22.0ms

rewrite24.0ms

series132.0ms

simplify39.0ms

prune73.0ms

localize14.0ms

rewrite45.0ms

series85.0ms

simplify33.0ms

prune67.0ms

localize19.0ms

rewrite36.0ms

series146.0ms

simplify45.0ms

prune83.0ms

regimes657.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling