Details

analyze1.4s (11%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4998	176
1	4998	176
0	5	5
1	5	5

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%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
26.2%	73.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample35.0ms (0.3%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
1.0ms	26×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify365.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (360.0ms)

Iter	Nodes	Cost
0	5599	16

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

1.5b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
1.9b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite167.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_14763`
71×	`*-un-lft-identity_binary64_14741`
51×	`times-frac_binary64_14747`
31×	`associate-r_binary64_14681`
27×	`add-cube-cbrt_binary64_14776`
22×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
5×	`pow1_binary64_14802` `add-log-exp_binary64_14780` `associate-/l_binary64_14686` `associate-/r_binary64_14685`
4×	`associate-/r/_binary64_14687`
3×	`associate-l_binary64_14682` `flip3--_binary64_14745` `flip--_binary64_14716`
2×	`div-exp_binary64_14792` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `cbrt-undiv_binary64_14775` `unswap-sqr_binary64_14709` `div-inv_binary64_14738` `associate-/l/_binary64_14688`
1×	`pow-prod-down_binary64_14812` `associate-r/_binary64_14683` `-commutative_binary64_14672` `frac-2neg_binary64_14752` `div-sub_binary64_14746` `clear-num_binary64_14740` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

3 → 113

Calls

3 calls:

16.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
15.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
7.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.3s (10.1%)

Error

0.0b

Counts

3 → 94

Calls

3 calls:

582.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
325.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
269.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 4857 to 2861 computations (41.1% saved)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4956	4531
1	4956	4531

prune168.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	203	4	207
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	203	5	208

Error

Counts

208 → 5

Compiler

Compiled 4104 to 781 computations (81% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite564.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

392×	`times-frac_binary64_14747`
336×	`add-sqr-sqrt_binary64_14763`
324×	`*-un-lft-identity_binary64_14741`
158×	`add-cube-cbrt_binary64_14776`
98×	`associate-r_binary64_14681`
82×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693`
36×	`add-exp-log_binary64_14779` `associate-/r*_binary64_14685`
20×	`add-cbrt-cube_binary64_14777`
18×	`associate-/r/_binary64_14687`
15×	`div-exp_binary64_14792`
10×	`div-inv_binary64_14738`
9×	`flip3--_binary64_14745` `flip--_binary64_14716`
8×	`associate-/l*_binary64_14686`
7×	`pow1_binary64_14802` `prod-exp_binary64_14790` `cbrt-undiv_binary64_14775`
6×	`add-log-exp_binary64_14780`
5×	`unswap-sqr_binary64_14709`
4×	`1-exp_binary64_14785` `rec-exp_binary64_14791`
3×	`cbrt-unprod_binary64_14774` `associate-l_binary64_14682`
2×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `associate-/l/_binary64_14688`
1×	`pow-prod-down_binary64_14812` `un-div-inv_binary64_14739` `associate-r/_binary64_14683` `-commutative_binary64_14672` `inv-pow_binary64_14826` `pow-flip_binary64_14815` `div-sub_binary64_14746` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

4 → 338

Calls

4 calls:

47.0ms	(*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t))))
17.0ms	(/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))
9.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
4.0ms	(+.f64 x (*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))))

Compiler

Compiled 8724 to 3133 computations (64.1% saved)

series1.4s (10.9%)

Error

Counts

4 → 115

Calls

4 calls:

522.0ms	(+.f64 x (*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))))
317.0ms	(*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t))))
218.0ms	(/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))
207.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 5952 to 3635 computations (38.9% saved)

simplify161.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

453 → 453

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4979	9898
1	4979	9898

prune443.0ms (3.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	453	0	453
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	453	5	458

Error

Counts

458 → 5

Compiler

Compiled 9903 to 2588 computations (73.9% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
0.0b	(*.f64 (-.f64 z t) y)
12.6b	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

rewrite88.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`add-sqr-sqrt_binary64_14763` `*-un-lft-identity_binary64_14741`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
7×	`add-cube-cbrt_binary64_14776`
5×	`pow1_binary64_14802` `add-log-exp_binary64_14780` `times-frac_binary64_14747` `associate-/r_binary64_14685` `associate-l*_binary64_14682`
4×	`associate-*l/_binary64_14684`
3×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `flip3--_binary64_14745` `flip--_binary64_14716` `associate-r_binary64_14681`
2×	`prod-exp_binary64_14790` `div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `cbrt-unprod_binary64_14774` `associate-/l/_binary64_14688` `associate-/r/_binary64_14687`
1×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `div-inv_binary64_14738` `associate-/l_binary64_14686` `pow-prod-down_binary64_14812` `unswap-sqr_binary64_14709` `-commutative_binary64_14672` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `distribute-lft-out_binary64_14692` `+-commutative_binary64_14671`

Counts

3 → 63

Calls

3 calls:

12.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
8.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
7.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 1199 to 289 computations (75.9% saved)

series995.0ms (7.8%)

Error

Counts

3 → 82

Calls

3 calls:

524.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
284.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
119.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 3854 to 2163 computations (43.9% saved)

simplify95.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5217	2686

prune116.0ms (0.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	145	5	150

Error

Counts

150 → 5

Compiler

Compiled 2435 to 540 computations (77.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))))
0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
0.4b	(.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y)))
0.5b	(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))

rewrite195.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

85×	`add-sqr-sqrt_binary64_14763`
75×	`*-un-lft-identity_binary64_14741`
52×	`times-frac_binary64_14747`
37×	`associate-l_binary64_14682`
31×	`add-cube-cbrt_binary64_14776`
22×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693`
20×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
11×	`pow1_binary64_14802`
8×	`sqrt-prod_binary64_14757`
7×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `associate-r_binary64_14681`
6×	`add-log-exp_binary64_14780`
5×	`associate-/l_binary64_14686` `associate-/r_binary64_14685`
4×	`pow-prod-down_binary64_14812` `unswap-sqr_binary64_14709` `associate-/r/_binary64_14687`
3×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `flip3--_binary64_14745` `flip--_binary64_14716`
2×	`associate-l/_binary64_14684` `div-inv_binary64_14738` `-commutative_binary64_14672` `associate-/l/_binary64_14688`
1×	`associate-*r/_binary64_14683` `frac-2neg_binary64_14752` `div-sub_binary64_14746` `clear-num_binary64_14740` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

4 → 142

Calls

4 calls:

18.0ms	(.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y)))
17.0ms	(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))
9.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
6.0ms	(+.f64 x (.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))))

Compiler

Compiled 3577 to 714 computations (80% saved)

series1.7s (13.5%)

Error

Counts

4 → 111

Calls

4 calls:

599.0ms	(+.f64 x (.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))))
430.0ms	(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y))
337.0ms	(.f64 (sqrt.f64 y) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (sqrt.f64 y)))
239.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 6505 to 3692 computations (43.2% saved)

simplify96.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

253 → 253

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5023	5365

prune231.0ms (1.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	253	0	253
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	253	5	258

Error

Counts

258 → 5

Compiler

Compiled 5320 to 997 computations (81.3% saved)

regimes1.2s (9.4%)

Accuracy

Total 1.3b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 7403 to 5626 computations (24% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	22
1	33	22

end0.0ms (0%)

sample1.8s (14.5%)

Algorithm

1×

intervals

Results

385.0ms	7998×	body	128	valid
31.0ms	727×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 941 to 707 computations (24.9% saved)

Details

analyze1.4s (11%)

sample35.0ms (0.3%)

simplify365.0ms (2.9%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite167.0ms (1.3%)

series1.3s (10.1%)

simplify110.0ms (0.9%)

prune168.0ms (1.3%)

localize20.0ms (0.2%)

rewrite564.0ms (4.4%)

series1.4s (10.9%)

simplify161.0ms (1.3%)

prune443.0ms (3.5%)

localize12.0ms (0.1%)

rewrite88.0ms (0.7%)

series995.0ms (7.8%)

simplify95.0ms (0.7%)

prune116.0ms (0.9%)

localize10.0ms (0.1%)

rewrite195.0ms (1.5%)

series1.7s (13.5%)

simplify96.0ms (0.8%)

prune231.0ms (1.8%)

regimes1.2s (9.4%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.8s (14.5%)

Profiling