Details

analyze891.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

sample120.0ms

Algorithm

intervals

Results

28.0ms	312×	body	80	nan
19.0ms	220×	body	80	valid
13.0ms	156×	body	80	invalid
6.0ms	15×	body	640	valid
3.0ms	3×	body	1280	valid
3.0ms	7×	body	640	invalid
2.0ms	9×	body	320	valid
2.0ms	2×	body	1280	invalid
2.0ms	9×	body	160	valid
1.0ms	3×	body	160	invalid
1.0ms	2×	body	320	invalid

simplify176.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5070	26

prune20.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: 1.6b

Counts

2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
0.1b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
5.4b	(log.f64 (-.f64 1 z))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod_binary64_492`
27×	`add-sqr-sqrt_binary64_559`
26×	`*-un-lft-identity_binary64_574`
24×	`associate--l+_binary64_630`
15×	`distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617`
14×	`add-cube-cbrt_binary64_545` `associate-+r+_binary64_625`
10×	`associate-*r/_binary64_635`
9×	`add-log-exp_binary64_539`
8×	`associate-+l+_binary64_626` `pow1_binary64_520`
7×	`difference-of-squares_binary64_603` `add-exp-log_binary64_538`
6×	`flip3--_binary64_573` `add-cbrt-cube_binary64_546` `sub-neg_binary64_578` `flip--_binary64_600` `associate-r_binary64_633`
5×	`distribute-lft-out--_binary64_619`
4×	`frac-add_binary64_564`
3×	`exp-prod_binary64_528` `associate-l_binary64_634`
2×	`log-div_binary64_493` `rem-exp-log_binary64_536` `log-pow_binary64_495` `sum-log_binary64_489`
1×	`exp-sum_binary64_533` `+-commutative_binary64_641` `unswap-sqr_binary64_602` `flip3-+_binary64_572` `flip-+_binary64_599` `cbrt-unprod_binary64_543` `rem-log-exp_binary64_537` `*-commutative_binary64_642` `pow-prod-down_binary64_501` `prod-exp_binary64_525`

Counts

4 → 98

Calls

4 calls:

14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
13.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(log.f64 (-.f64 1 z))

series385.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
178.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
55.0ms	(*.f64 y (-.f64 (log.f64 z) t))
15.0ms	(log.f64 (-.f64 1 z))

simplify85.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4985	2387
1	4985	2387

prune372.0ms

Filtered

86 candidates to 110 candidates (-27.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	106	4	110
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	108	4	112

Merged error: 0.1b

Counts

112 → 4

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
0.1b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.4b	(*.f64 1/3 z)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_559`
15×	`*-un-lft-identity_binary64_574`
14×	`pow1_binary64_520`
13×	`add-cbrt-cube_binary64_546` `add-exp-log_binary64_538`
12×	`add-cube-cbrt_binary64_545` `associate-r_binary64_633`
7×	`associate-l_binary64_634` `add-log-exp_binary64_539`
6×	`associate--l+_binary64_630` `log-prod_binary64_492`
5×	`cbrt-unprod_binary64_543` `distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617` `pow-prod-down_binary64_501` `prod-exp_binary64_525`
4×	`associate-*r/_binary64_635`
3×	`exp-prod_binary64_528` `unswap-sqr_binary64_602` `*-commutative_binary64_642`
2×	`distribute-lft-out--_binary64_619` `sub-neg_binary64_578` `rem-exp-log_binary64_536`
1×	`flip3--_binary64_573` `exp-sum_binary64_533` `flip3-+_binary64_572` `flip-+_binary64_599` `log-pow_binary64_495` `flip--_binary64_600` `difference-of-squares_binary64_603` `sum-log_binary64_489`

Counts

4 → 85

Calls

4 calls:

9.0ms	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
13.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(*.f64 1/3 z)

series319.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
201.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
57.0ms	(*.f64 y (-.f64 (log.f64 z) t))
13.0ms	(*.f64 1/3 z)

simplify78.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5033	1486

prune523.0ms

Filtered

63 candidates to 97 candidates (-54.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	96	5	101

Merged error: 0.1b

Counts

101 → 5

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.4b	(*.f64 1/3 z)
0.4b	(*.f64 1/3 z)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_559`
22×	`*-un-lft-identity_binary64_574`
18×	`associate-r_binary64_633`
16×	`add-cube-cbrt_binary64_545`
14×	`pow1_binary64_520`
12×	`associate-l_binary64_634` `add-cbrt-cube_binary64_546` `associate--l+_binary64_630` `log-prod_binary64_492` `add-exp-log_binary64_538`
8×	`distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617`
4×	`unswap-sqr_binary64_602` `distribute-lft-out--_binary64_619` `cbrt-unprod_binary64_543` `sub-neg_binary64_578` `-commutative_binary64_642` `add-log-exp_binary64_539` `pow-prod-down_binary64_501` `prod-exp_binary64_525` `associate-r/_binary64_635`
2×	`flip3--_binary64_573` `log-pow_binary64_495` `flip--_binary64_600` `difference-of-squares_binary64_603`

Counts

4 → 98

Calls

4 calls:

8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(*.f64 1/3 z)
4.0ms	(*.f64 1/3 z)

series139.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(*.f64 y (-.f64 (log.f64 z) t))
56.0ms	(*.f64 y (-.f64 (log.f64 z) t))
11.0ms	(*.f64 1/3 z)
11.0ms	(*.f64 1/3 z)

simplify115.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	5557	1116

prune358.0ms

Filtered

68 candidates to 110 candidates (-61.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.1b

Counts

115 → 4

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.2b	(*.f64 (log.f64 z) y)
0.4b	(*.f64 1/3 z)
0.4b	(*.f64 1/3 z)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_559`
17×	`*-un-lft-identity_binary64_574`
15×	`associate-r_binary64_633`
14×	`add-cube-cbrt_binary64_545` `pow1_binary64_520`
13×	`associate-l_binary64_634`
12×	`add-cbrt-cube_binary64_546` `add-exp-log_binary64_538`
6×	`associate--l+_binary64_630` `log-prod_binary64_492`
4×	`unswap-sqr_binary64_602` `cbrt-unprod_binary64_543` `distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617` `*-commutative_binary64_642` `add-log-exp_binary64_539` `pow-prod-down_binary64_501` `prod-exp_binary64_525`
2×	`distribute-lft-out--_binary64_619` `sub-neg_binary64_578` `log-pow_binary64_495` `associate-*r/_binary64_635`
1×	`flip3--_binary64_573` `flip--_binary64_600` `difference-of-squares_binary64_603`

Counts

4 → 86

Calls

4 calls:

8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(*.f64 (log.f64 z) y)
4.0ms	(*.f64 1/3 z)
4.0ms	(*.f64 1/3 z)

series114.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(*.f64 y (-.f64 (log.f64 z) t))
39.0ms	(*.f64 (log.f64 z) y)
11.0ms	(*.f64 1/3 z)
11.0ms	(*.f64 1/3 z)

simplify90.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5528	855

prune293.0ms

Filtered

59 candidates to 98 candidates (-66.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0.1b

Counts

102 → 4

regimes883.0ms

Accuracy

0% (0.0b remaining)

Error of 0.4b against oracle of 0.4b and baseline of 0.4b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	140	38
1	140	38

end0.0ms

sample3.3s

Algorithm

intervals

Results

879.0ms	10761×	body	80	nan
621.0ms	7234×	body	80	valid
459.0ms	5359×	body	80	invalid
125.0ms	290×	body	640	valid
74.0ms	256×	body	320	valid
56.0ms	129×	body	640	invalid
44.0ms	53×	body	1280	valid
31.0ms	111×	body	320	invalid
30.0ms	167×	body	160	valid
18.0ms	98×	body	160	invalid
12.0ms	16×	body	1280	invalid

Details

analyze891.0ms

sample120.0ms

simplify176.0ms

prune20.0ms

localize22.0ms

rewrite43.0ms

series385.0ms

simplify85.0ms

prune372.0ms

localize37.0ms

rewrite37.0ms

series319.0ms

simplify78.0ms

prune523.0ms

localize41.0ms

rewrite28.0ms

series139.0ms

simplify115.0ms

prune358.0ms

localize53.0ms

rewrite22.0ms

series114.0ms

simplify90.0ms

prune293.0ms

regimes883.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample3.3s

Profiling