Details

analyze2.0s (16.7%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4927	176
1	4927	176
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14
29.5%	70.3%	0.2%	14

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample375.0ms (3.2%)

Algorithm

2×

intervals

Results

18.0ms	512×	body	128	valid
6.0ms	54×	body	128	invalid

Compiler

Compiled 3407 to 4538 computations (-33.2% saved)

simplify180.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (173.0ms)

Iter	Nodes	Cost
0	4787	16
1	4787	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

11.4b

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 (-.f64 y z) t)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
11.6b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite92.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
7×	`add-cube-cbrt_binary64_15799`
5×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `times-frac_binary64_15770` `associate-/r_binary64_15708` `associate-l*_binary64_15705`
4×	`associate-*l/_binary64_15707`
3×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716` `flip3--_binary64_15768` `flip--_binary64_15739` `associate-r_binary64_15704`
2×	`prod-exp_binary64_15813` `div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `cbrt-unprod_binary64_15797` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710`
1×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `div-inv_binary64_15761` `associate-/l_binary64_15709` `sum-log_binary64_15855` `flip3-+_binary64_15767` `flip-+_binary64_15738` `distribute-lft-out_binary64_15715` `+-commutative_binary64_15694` `pow-prod-down_binary64_15835` `unswap-sqr_binary64_15732` `-commutative_binary64_15695`

Counts

3 → 63

Calls

3 calls:

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

Compiler

Compiled 1199 to 289 computations (75.9% saved)

series1.3s (11.2%)

Error

0.3b

Counts

3 → 84

Calls

3 calls:

691.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
409.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
133.0ms	(*.f64 (-.f64 y z) t)

Compiler

Compiled 4150 to 2435 computations (41.3% saved)

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5079	2763

prune130.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	142	5	147
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	142	6	148

Error

0.0b

Counts

148 → 6

Compiler

Compiled 2515 to 518 computations (79.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite139.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

76×	`add-sqr-sqrt_binary64_15786`
71×	`*-un-lft-identity_binary64_15764`
51×	`times-frac_binary64_15770`
31×	`associate-r_binary64_15704`
27×	`add-cube-cbrt_binary64_15799`
22×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
5×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `associate-/l_binary64_15709` `associate-/r_binary64_15708`
4×	`associate-/r/_binary64_15710`
3×	`associate-l_binary64_15705` `flip3--_binary64_15768` `flip--_binary64_15739`
2×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798` `unswap-sqr_binary64_15732` `div-inv_binary64_15761` `associate-/l/_binary64_15711`
1×	`pow-prod-down_binary64_15835` `associate-r/_binary64_15706` `-commutative_binary64_15695` `frac-2neg_binary64_15775` `div-sub_binary64_15769` `clear-num_binary64_15763` `sum-log_binary64_15855` `flip3-+_binary64_15767` `flip-+_binary64_15738` `+-commutative_binary64_15694`

Counts

3 → 113

Calls

3 calls:

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

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.5s (12.6%)

Error

0.0b

Counts

3 → 96

Calls

3 calls:

697.0ms	(+.f64 x (*.f64 t (/.f64 (-.f64 y z) (-.f64 a z))))
400.0ms	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
275.0ms	(/.f64 (-.f64 y z) (-.f64 a z))

Compiler

Compiled 5183 to 3151 computations (39.2% saved)

simplify80.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5056	4743

prune391.0ms (3.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	209	6	215

Error

0.0b

Counts

215 → 6

Compiler

Compiled 4231 to 850 computations (79.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite115.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

44×	`add-sqr-sqrt_binary64_15786`
39×	`*-un-lft-identity_binary64_15764`
31×	`times-frac_binary64_15770`
23×	`add-cube-cbrt_binary64_15799`
21×	`associate-r_binary64_15704`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
8×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
5×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `associate-l_binary64_15705` `associate-/r*_binary64_15708`
4×	`flip3--_binary64_15768` `flip--_binary64_15739` `associate-/r/_binary64_15710`
3×	`associate-/l*_binary64_15709`
2×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798` `frac-times_binary64_15774` `unswap-sqr_binary64_15732` `associate-*l/_binary64_15707` `div-inv_binary64_15761`
1×	`pow-prod-down_binary64_15835` `associate-r/_binary64_15706` `-commutative_binary64_15695` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `sum-log_binary64_15855` `flip3-+_binary64_15767` `flip-+_binary64_15738` `+-commutative_binary64_15694`

Counts

3 → 94

Calls

3 calls:

14.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
5.0ms	(/.f64 t (-.f64 a z))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))

Compiler

Compiled 1884 to 440 computations (76.6% saved)

series1.4s (11.7%)

Error

0.0b

Counts

3 → 93

Calls

3 calls:

677.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))
426.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
176.0ms	(/.f64 t (-.f64 a z))

Compiler

Compiled 4792 to 2874 computations (40% saved)

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5092	3995

prune163.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	187	6	193

Error

Counts

193 → 6

Compiler

Compiled 3640 to 733 computations (79.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite250.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

200×	`times-frac_binary64_15770`
173×	`*-un-lft-identity_binary64_15764`
171×	`add-sqr-sqrt_binary64_15786`
87×	`add-cube-cbrt_binary64_15799`
42×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
22×	`associate-/r*_binary64_15708`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `associate-/l*_binary64_15709`
8×	`div-inv_binary64_15761`
5×	`add-log-exp_binary64_15803`
4×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `associate-/l/_binary64_15711`
3×	`pow1_binary64_15825` `div-sub_binary64_15769`
2×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `flip3--_binary64_15768` `flip--_binary64_15739`
1×	`associate-/r/_binary64_15710` `sum-log_binary64_15855` `flip3-+_binary64_15767` `flip-+_binary64_15738` `distribute-lft-out_binary64_15715` `associate-+r-_binary64_15698` `+-commutative_binary64_15694`

Counts

3 → 188

Calls

3 calls:

33.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t)))
12.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t))
6.0ms	(/.f64 (-.f64 a z) t)

Compiler

Compiled 4306 to 922 computations (78.6% saved)

series1.4s (11.7%)

Error

Counts

3 → 84

Calls

3 calls:

697.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t)))
429.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t))
172.0ms	(/.f64 (-.f64 a z) t)

Compiler

Compiled 4156 to 2452 computations (41% saved)

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

272 → 272

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4981	6719
1	4981	6719

prune223.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	272	0	272
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	272	6	278

Error

Counts

278 → 6

Compiler

Compiled 5526 to 880 computations (84.1% saved)

regimes573.0ms (4.9%)

Accuracy

Total 0.2b remaining (98.9%)

Threshold costs 0.2b (98.9%)

Compiler

Compiled 4454 to 3611 computations (18.9% saved)

bsearch2.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	84
1	42	84

end0.0ms (0%)

sample1.3s (10.7%)

Algorithm

1×

intervals

Results

304.0ms	7999×	body	128	valid
27.0ms	775×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 727 to 552 computations (24.1% saved)

Details

analyze2.0s (16.7%)

sample375.0ms (3.2%)

simplify180.0ms (1.5%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite92.0ms (0.8%)

series1.3s (11.2%)

simplify72.0ms (0.6%)

prune130.0ms (1.1%)

localize8.0ms (0.1%)

rewrite139.0ms (1.2%)

series1.5s (12.6%)

simplify80.0ms (0.7%)

prune391.0ms (3.3%)

localize8.0ms (0.1%)

rewrite115.0ms (1%)

series1.4s (11.7%)

simplify78.0ms (0.7%)

prune163.0ms (1.4%)

localize8.0ms (0.1%)

rewrite250.0ms (2.1%)

series1.4s (11.7%)

simplify90.0ms (0.8%)

prune223.0ms (1.9%)

regimes573.0ms (4.9%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (10.7%)

Profiling