Details

analyze1.8s (19.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	863	304
1	863	304
0	6	6
1	6	6

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%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample53.0ms (0.6%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
8.0ms	122×	body	128	invalid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

prune4.0ms (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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
0.0b	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.9b	(.f64 (.f64 a z) b)

rewrite69.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64_16826`
10×	`sum-log_binary64_16878`
9×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
5×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
3×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `associate-r_binary64_16727` `flip3-+_binary64_16790` `flip-+_binary64_16761` `+-commutative_binary64_16717`
2×	`associate-+l+_binary64_16720`
1×	`associate-l_binary64_16728` `*-commutative_binary64_16718`

Counts

4 → 56

Calls

4 calls:

9.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
5.0ms	(.f64 (.f64 a z) b)
3.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 1330 to 230 computations (82.7% saved)

series909.0ms (10.2%)

Error

0.0b

Counts

4 → 93

Calls

4 calls:

452.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
211.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
101.0ms	(.f64 (.f64 a z) b)
87.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 3011 to 1784 computations (40.8% saved)

simplify83.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5001	1837

prune126.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	147	4	151

Error

Counts

151 → 4

Compiler

Compiled 2305 to 258 computations (88.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
0.0b	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
0.0b	(+.f64 t (*.f64 z b))
2.5b	(.f64 a (+.f64 t (.f64 z b)))

rewrite92.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-log-exp_binary64_16826`
8×	`add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
6×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823` `add-cube-cbrt_binary64_16822`
5×	`sum-log_binary64_16878`
4×	`flip3-+_binary64_16790` `flip-+_binary64_16761`
3×	`associate-l_binary64_16728` `associate-r_binary64_16727` `+-commutative_binary64_16717` `associate-+r+_binary64_16719`
2×	`distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736` `associate-*r/_binary64_16729`
1×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718` `distribute-lft-out_binary64_16738`

Counts

4 → 60

Calls

4 calls:

8.0ms	(.f64 a (+.f64 t (.f64 z b)))
6.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
4.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
3.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 1337 to 272 computations (79.7% saved)

series1.1s (12.6%)

Error

Counts

4 → 105

Calls

4 calls:

450.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
332.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
200.0ms	(.f64 a (+.f64 t (.f64 z b)))
81.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 3156 to 1909 computations (39.5% saved)

simplify98.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5016	2180

prune129.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	165	4	169

Error

Counts

169 → 4

Compiler

Compiled 2346 to 295 computations (87.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 a t) (+.f64 x (.f64 z (+.f64 y (*.f64 a b)))))
0.0b	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
0.0b	(+.f64 y (*.f64 a b))
3.4b	(.f64 z (+.f64 y (.f64 a b)))

rewrite78.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-log-exp_binary64_16826`
8×	`add-sqr-sqrt_binary64_16809`
6×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823` `add-cube-cbrt_binary64_16822` `*-un-lft-identity_binary64_16787`
5×	`sum-log_binary64_16878`
4×	`flip3-+_binary64_16790` `flip-+_binary64_16761`
3×	`associate-l_binary64_16728` `associate-r_binary64_16727` `+-commutative_binary64_16717` `associate-+r+_binary64_16719`
2×	`distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736` `associate-*r/_binary64_16729`
1×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718`

Counts

4 → 59

Calls

4 calls:

9.0ms	(+.f64 (.f64 a t) (+.f64 x (.f64 z (+.f64 y (*.f64 a b)))))
7.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
6.0ms	(.f64 z (+.f64 y (.f64 a b)))
6.0ms	(+.f64 y (*.f64 a b))

Compiler

Compiled 1302 to 270 computations (79.3% saved)

series1.1s (11.9%)

Error

Counts

4 → 105

Calls

4 calls:

436.0ms	(+.f64 (.f64 a t) (+.f64 x (.f64 z (+.f64 y (*.f64 a b)))))
304.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
185.0ms	(.f64 z (+.f64 y (.f64 a b)))
89.0ms	(+.f64 y (*.f64 a b))

Compiler

Compiled 3192 to 1914 computations (40% saved)

simplify63.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5120	2050

prune138.0ms (1.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	164	4	168

Error

Counts

168 → 4

Compiler

Compiled 2324 to 287 computations (87.7% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.6b	(.f64 a (.f64 z b))
5.6b	(.f64 a (.f64 z b))
14.1b	(sqrt.f64 (.f64 a (.f64 z b)))
14.1b	(sqrt.f64 (.f64 a (.f64 z b)))

rewrite87.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`pow1_binary64_16848`
14×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
12×	`pow-prod-down_binary64_16858`
6×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `sqrt-pow1_binary64_16805` `-un-lft-identity_binary64_16787` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `associate-l*_binary64_16728`
4×	`add-log-exp_binary64_16826`
2×	`pow1/2_binary64_16867` `sqrt-prod_binary64_16803` `associate-r_binary64_16727` `*-commutative_binary64_16718`

Counts

4 → 60

Calls

4 calls:

5.0ms	(.f64 a (.f64 z b))
5.0ms	(.f64 a (.f64 z b))
4.0ms	(sqrt.f64 (.f64 a (.f64 z b)))
4.0ms	(sqrt.f64 (.f64 a (.f64 z b)))

Compiler

Compiled 1688 to 268 computations (84.1% saved)

series431.0ms (4.8%)

Error

Counts

4 → 36

Calls

4 calls:

113.0ms	(.f64 a (.f64 z b))
112.0ms	(.f64 a (.f64 z b))
95.0ms	(sqrt.f64 (.f64 a (.f64 z b)))
89.0ms	(sqrt.f64 (.f64 a (.f64 z b)))

Compiler

Compiled 2730 to 1410 computations (48.4% saved)

simplify84.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5016	806

prune91.0ms (1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	96	4	100

Error

Counts

100 → 4

Compiler

Compiled 2408 to 270 computations (88.8% saved)

regimes527.0ms (5.9%)

Accuracy

Total 0.1b remaining (89.9%)

Threshold costs 0.1b (89.9%)

Compiler

Compiled 1834 to 2107 computations (-14.9% saved)

bsearch77.0ms (0.9%)

Steps

Iters	Range		Point
9	1.0571863192956286e-76	2.5705072426170423e-69	2.676632411961761e-75
10	-8.755104028342947e-45	-4.054493462570419e-55	-8.47331770737554e-45

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	52
1	41	52

end0.0ms (0%)

sample1.8s (19.8%)

Algorithm

1×

intervals

Results

455.0ms	8000×	body	128	valid
209.0ms	3781×	body	128	invalid

Compiler

Compiled 354 to 356 computations (-0.6% saved)

Details

analyze1.8s (19.7%)

sample53.0ms (0.6%)

simplify13.0ms (0.1%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite69.0ms (0.8%)

series909.0ms (10.2%)

simplify83.0ms (0.9%)

prune126.0ms (1.4%)

localize11.0ms (0.1%)

rewrite92.0ms (1%)

series1.1s (12.6%)

simplify98.0ms (1.1%)

prune129.0ms (1.4%)

localize10.0ms (0.1%)

rewrite78.0ms (0.9%)

series1.1s (11.9%)

simplify63.0ms (0.7%)

prune138.0ms (1.5%)

localize17.0ms (0.2%)

rewrite87.0ms (1%)

series431.0ms (4.8%)

simplify84.0ms (0.9%)

prune91.0ms (1%)

regimes527.0ms (5.9%)

bsearch77.0ms (0.9%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.8s (19.8%)

Profiling