Details

analyze1.0s (10.8%)

Algorithm

1×

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
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample26.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	228×	body	128	valid
2.0ms	17×	body	512	valid
2.0ms	42×	body	128	invalid
1.0ms	5×	body	1024	valid
0.0ms	6×	body	256	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify274.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	5084	19

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

Merged error: 9.5b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite52.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_2509`
73×	`*-un-lft-identity_binary64_2487`
51×	`times-frac_binary64_2493`
31×	`associate-r_binary64_2427`
27×	`add-cube-cbrt_binary64_2522`
23×	`difference-of-squares_binary64_2456` `distribute-lft-out--_binary64_2439`
10×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
5×	`flip--_binary64_2462` `associate-/r_binary64_2431` `associate-/l_binary64_2432` `pow1_binary64_2548` `add-log-exp_binary64_2526` `associate-l_binary64_2428` `flip3--_binary64_2491`
4×	`associate-/r/_binary64_2433`
2×	`unswap-sqr_binary64_2455` `associate-*l/_binary64_2430` `prod-exp_binary64_2536` `frac-times_binary64_2497` `div-inv_binary64_2484` `cbrt-unprod_binary64_2520` `div-exp_binary64_2538` `associate-/l/_binary64_2434` `cbrt-undiv_binary64_2521`
1×	`-commutative_binary64_2418` `frac-2neg_binary64_2498` `flip-+_binary64_2461` `clear-num_binary64_2486` `div-sub_binary64_2492` `+-commutative_binary64_2417` `flip3-+_binary64_2490` `sum-log_binary64_2578` `pow-prod-down_binary64_2558` `associate-r/_binary64_2429`

Counts

3 → 119

Calls

3 calls:

25.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
10.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
5.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

series999.0ms (10.7%)

Counts

3 → 9

Calls

3 calls:

502.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
363.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
134.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5558	2420

prune768.0ms (8.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	115	13	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	14	129

Merged error: 2.5b

Counts

129 → 14

Compiler

Compiled 17437 to 9148 computations (47.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 t x))
0.5b	(cbrt.f64 (-.f64 t x))
0.6b	(*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))
5.0b	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))

rewrite43.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`cbrt-prod_binary64_2518`
34×	`add-sqr-sqrt_binary64_2509`
32×	`*-un-lft-identity_binary64_2487`
16×	`cbrt-div_binary64_2519`
14×	`add-cube-cbrt_binary64_2522`
11×	`pow1_binary64_2548`
10×	`swap-sqr_binary64_2454`
8×	`flip--_binary64_2462` `pow1/3_binary64_2569` `distribute-lft-out--_binary64_2439` `associate-l_binary64_2428` `associate-r_binary64_2427` `flip3--_binary64_2491`
6×	`add-exp-log_binary64_2525` `difference-of-squares_binary64_2456` `add-log-exp_binary64_2526`
4×	`unswap-sqr_binary64_2455` `frac-times_binary64_2497` `add-cbrt-cube_binary64_2523`
2×	`associate-l/_binary64_2430` `pow-prod-up_binary64_2557` `pow-sqr_binary64_2460` `pow-prod-down_binary64_2558` `associate-r/_binary64_2429`
1×	`*-commutative_binary64_2418` `prod-exp_binary64_2536` `pow-plus_binary64_2550` `flip-+_binary64_2461` `pow2_binary64_2568` `+-commutative_binary64_2417` `flip3-+_binary64_2490` `sum-log_binary64_2578` `cbrt-unprod_binary64_2520`

Counts

4 → 97

Calls

4 calls:

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

series1.2s (13.2%)

Counts

4 → 12

Calls

4 calls:

553.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))
231.0ms	(*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))
229.0ms	(cbrt.f64 (-.f64 t x))
216.0ms	(cbrt.f64 (-.f64 t x))

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5263	1870

prune139.0ms (1.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	109	14	123

Merged error: 2.5b

Counts

123 → 14

Compiler

Compiled 4513 to 946 computations (79% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 a z))
0.6b	(*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))
1.6b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))
5.0b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))

rewrite93.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

96×	`add-sqr-sqrt_binary64_2509`
78×	`*-un-lft-identity_binary64_2487`
60×	`cbrt-prod_binary64_2518`
54×	`associate-r_binary64_2427`
52×	`times-frac_binary64_2493`
34×	`add-cube-cbrt_binary64_2522`
28×	`cbrt-div_binary64_2519`
27×	`add-exp-log_binary64_2525`
25×	`associate-l_binary64_2428`
21×	`distribute-lft-out--_binary64_2439`
19×	`difference-of-squares_binary64_2456`
18×	`add-cbrt-cube_binary64_2523`
14×	`flip--_binary64_2462` `flip3--_binary64_2491`
13×	`pow1_binary64_2548`
10×	`unswap-sqr_binary64_2455` `associate-/r/_binary64_2433` `swap-sqr_binary64_2454`
9×	`prod-exp_binary64_2536` `frac-times_binary64_2497` `cbrt-unprod_binary64_2520`
7×	`pow1/3_binary64_2569` `div-exp_binary64_2538` `cbrt-undiv_binary64_2521`
6×	`add-log-exp_binary64_2526`
5×	`associate-l/_binary64_2430` `associate-r/_binary64_2429`
3×	`pow-prod-down_binary64_2558`
2×	`*-commutative_binary64_2418` `pow-prod-up_binary64_2557` `pow-sqr_binary64_2460` `div-inv_binary64_2484`
1×	`pow-plus_binary64_2550` `flip-+_binary64_2461` `pow2_binary64_2568` `+-commutative_binary64_2417` `flip3-+_binary64_2490` `sum-log_binary64_2578`

Counts

4 → 175

Calls

4 calls:

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

series1.7s (18.1%)

Counts

4 → 12

Calls

4 calls:

722.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))
518.0ms	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
227.0ms	(*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))
219.0ms	(cbrt.f64 (-.f64 a z))

simplify80.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5712	4478

prune242.0ms (2.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	1	10	11
Picked	0	1	1
Done	2	0	2
Total	189	12	201

Merged error: 2.5b

Counts

201 → 12

Compiler

Compiled 6573 to 1923 computations (70.7% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 a z))
0.9b	(+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1))
2.4b	(*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))

rewrite52.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_2509`
75×	`*-un-lft-identity_binary64_2487`
51×	`times-frac_binary64_2493`
31×	`associate-r_binary64_2427`
27×	`add-cube-cbrt_binary64_2522`
23×	`difference-of-squares_binary64_2456` `distribute-lft-out--_binary64_2439`
10×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
5×	`flip--_binary64_2462` `associate-/r_binary64_2431` `associate-/l_binary64_2432` `pow1_binary64_2548` `add-log-exp_binary64_2526` `associate-l_binary64_2428` `flip3--_binary64_2491`
4×	`associate-/r/_binary64_2433`
2×	`unswap-sqr_binary64_2455` `associate-*l/_binary64_2430` `prod-exp_binary64_2536` `frac-times_binary64_2497` `div-inv_binary64_2484` `cbrt-unprod_binary64_2520` `div-exp_binary64_2538` `associate-/l/_binary64_2434` `cbrt-undiv_binary64_2521`
1×	`-commutative_binary64_2418` `distribute-lft-out_binary64_2438` `frac-2neg_binary64_2498` `flip-+_binary64_2461` `clear-num_binary64_2486` `div-sub_binary64_2492` `+-commutative_binary64_2417` `flip3-+_binary64_2490` `sum-log_binary64_2578` `pow-prod-down_binary64_2558` `associate-r/_binary64_2429`

Counts

3 → 120

Calls

3 calls:

21.0ms	(*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))
10.0ms	(/.f64 (-.f64 y z) (-.f64 a z))
8.0ms	(+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1))

series1.0s (11%)

Counts

3 → 9

Calls

3 calls:

545.0ms	(+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1))
385.0ms	(*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))
94.0ms	(/.f64 (-.f64 y z) (-.f64 a z))

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4974	2424
1	4974	2424

prune118.0ms (1.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	129	12	141

Merged error: 2.5b

Counts

141 → 12

Compiler

Compiled 3131 to 907 computations (71% saved)

regimes204.0ms (2.2%)

Compiler: Compiled 1488 to 1050 computations (29.4% saved)

bsearch2.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	85
1	72	85

end0.0ms (0%)

sample1.0s (10.9%)

Algorithm

1×

intervals

Results

276.0ms	6733×	body	128	valid
54.0ms	364×	body	1024	valid
51.0ms	489×	body	512	valid
50.0ms	1205×	body	128	invalid
29.0ms	352×	body	256	valid
11.0ms	62×	body	2048	valid

Compiler

Compiled 313 to 206 computations (34.2% saved)

Details

analyze1.0s (10.8%)

sample26.0ms (0.3%)

simplify274.0ms (2.9%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite52.0ms (0.6%)

series999.0ms (10.7%)

simplify67.0ms (0.7%)

prune768.0ms (8.3%)

localize18.0ms (0.2%)

rewrite43.0ms (0.5%)

series1.2s (13.2%)

simplify67.0ms (0.7%)

prune139.0ms (1.5%)

localize14.0ms (0.1%)

rewrite93.0ms (1%)

series1.7s (18.1%)

simplify80.0ms (0.9%)

prune242.0ms (2.6%)

localize11.0ms (0.1%)

rewrite52.0ms (0.6%)

series1.0s (11%)

simplify67.0ms (0.7%)

prune118.0ms (1.3%)

regimes204.0ms (2.2%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.0s (10.9%)

Profiling