Details

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

sample93.0ms

Algorithm

intervals

Results

26.0ms	343×	body	80	nan
18.0ms	234×	body	80	valid
14.0ms	143×	body	80	invalid
4.0ms	10×	body	640	valid
2.0ms	7×	body	320	valid
1.0ms	5×	body	160	valid
1.0ms	1×	body	1280	invalid
1.0ms	2×	body	320	invalid
0.0ms	1×	body	640	invalid
0.0ms	1×	body	160	invalid

simplify70.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5093	26

prune6.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.5b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (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))
0.3b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
6.9b	(log.f64 (-.f64 1 z))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 104

Calls

4 calls:

13.0ms	(.f64 x (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))
14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.0ms	(log.f64 (-.f64 1 z))

series415.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
57.0ms	(*.f64 y (-.f64 (log.f64 z) t))
129.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
14.0ms	(log.f64 (-.f64 1 z))

simplify61.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5098	2635

prune124.0ms

Filtered

92 candidates to 116 candidates (-26.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	111	5	116
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	112	6	118

Merged error: 0.3b

Counts

118 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.3b	(+.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.4b	(*.f64 1/3 z)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

10.0ms	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
14.0ms	(+.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)))
4.0ms	(*.f64 1/3 z)

series324.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))
54.0ms	(*.f64 y (-.f64 (log.f64 z) t))
217.0ms	(+.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)))
13.0ms	(*.f64 1/3 z)

simplify82.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4973	2468
1	4973	2468

prune110.0ms

Filtered

77 candidates to 111 candidates (-44.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	111	6	117

Merged error: 0.3b

Counts

117 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
0.3b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
6.9b	(log.f64 (-.f64 1 z))
6.9b	(log.f64 (-.f64 1 z))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod_binary64`
36×	`associate--l+_binary64`
32×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
28×	`associate-+r+_binary64`
22×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
16×	`associate-*r/_binary64` `associate-+l+_binary64`
14×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64`
10×	`flip3--_binary64` `flip--_binary64`
8×	`add-log-exp_binary64` `sub-neg_binary64` `frac-add_binary64`
6×	`pow1_binary64` `add-exp-log_binary64` `distribute-lft-out--_binary64`
4×	`add-cbrt-cube_binary64` `log-div_binary64`
2×	`flip3-+_binary64` `rem-log-exp_binary64` `log-pow_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 108

Calls

4 calls:

14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
6.0ms	(log.f64 (-.f64 1 z))
4.0ms	(log.f64 (-.f64 1 z))

series284.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
129.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
13.0ms	(log.f64 (-.f64 1 z))
14.0ms	(log.f64 (-.f64 1 z))

simplify59.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5260	3110

prune200.0ms

Filtered

104 candidates to 120 candidates (-15.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	121	5	126

Merged error: 0.2b

Counts

126 → 5

localize32.0ms

Local error

Found 4 expressions with local error:

6.9b	(log.f64 (-.f64 1 z))
6.9b	(log.f64 (-.f64 1 z))
10.1b	(.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))
21.4b	(/.f64 (+.f64 (.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (.f64 y (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 t t)))) (.f64 (.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (.f64 b b))) (+.f64 (log.f64 z) t))) (*.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (+.f64 (log.f64 z) t)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

132×	`associate-*r/_binary64`
68×	`frac-times_binary64`
66×	`associate-/l/_binary64`
64×	`frac-add_binary64`
55×	`flip3-+_binary64` `flip-+_binary64`
51×	`flip3--_binary64` `flip--_binary64`
36×	`log-prod_binary64`
34×	`add-sqr-sqrt_binary64` `associate-*l/_binary64`
32×	`*-un-lft-identity_binary64`
25×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
24×	`associate--l+_binary64`
14×	`add-cube-cbrt_binary64`
13×	`add-exp-log_binary64` `difference-of-squares_binary64`
11×	`add-cbrt-cube_binary64`
8×	`pow1_binary64` `associate-/r/_binary64`
6×	`distribute-lft-out--_binary64`
4×	`add-log-exp_binary64` `associate-r_binary64` `log-div_binary64`
3×	`associate-l_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`sub-neg_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `log-pow_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-/r_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 176

Calls

4 calls:

4.0ms	(log.f64 (-.f64 1 z))
4.0ms	(log.f64 (-.f64 1 z))
12.0ms	(.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))
32.0ms	(/.f64 (+.f64 (.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (.f64 y (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 t t)))) (.f64 (.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (.f64 b b))) (+.f64 (log.f64 z) t))) (*.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (+.f64 (log.f64 z) t)))

series20.3s

Counts

4 → 12

Calls

4 calls:

13.0ms	(log.f64 (-.f64 1 z))
11.0ms	(log.f64 (-.f64 1 z))
168.0ms	(.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))
20.1s	(/.f64 (+.f64 (.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (.f64 y (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 t t)))) (.f64 (.f64 a (-.f64 (.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (.f64 b b))) (+.f64 (log.f64 z) t))) (*.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (+.f64 (log.f64 z) t)))

simplify133.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4986	9575
1	4986	9575

prune751.0ms

Filtered

149 candidates to 188 candidates (-26.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	187	1	188
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	188	5	193

Merged error: 0.0b

Counts

193 → 5

regimes99.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	140	38
1	140	38

end0.0ms

sample3.0s

Algorithm

intervals

Results

836.0ms	11012×	body	80	nan
566.0ms	7240×	body	80	valid
401.0ms	5226×	body	80	invalid
108.0ms	262×	body	640	valid
69.0ms	259×	body	320	valid
43.0ms	105×	body	640	invalid
40.0ms	49×	body	1280	valid
32.0ms	124×	body	320	invalid
32.0ms	190×	body	160	valid
14.0ms	86×	body	160	invalid
11.0ms	13×	body	1280	invalid

Details

analyze832.0ms

sample93.0ms

simplify70.0ms

prune6.0ms

localize15.0ms

rewrite43.0ms

series415.0ms

simplify61.0ms

prune124.0ms

localize24.0ms

rewrite40.0ms

series324.0ms

simplify82.0ms

prune110.0ms

localize18.0ms

rewrite43.0ms

series284.0ms

simplify59.0ms

prune200.0ms

localize32.0ms

rewrite65.0ms

series20.3s

simplify133.0ms

prune751.0ms

regimes99.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample3.0s

Profiling