Details

analyze883.0ms (18.5%)

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
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample31.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
3.0ms	79×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify208.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	680	13
1	680	13

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: 6.1b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 y (-.f64 z t))
6.7b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_10765`
10×	`*-un-lft-identity_binary64_10743`
9×	`add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781`
8×	`add-cube-cbrt_binary64_10778`
6×	`cancel-sign-sub-inv_binary64_10709`
5×	`associate-r_binary64_10683`
4×	`associate-*r/_binary64_10685` `distribute-rgt-in_binary64_10693` `distribute-lft-in_binary64_10692` `pow1_binary64_10804`
3×	`times-frac_binary64_10749` `associate-l_binary64_10684` `associate-/r*_binary64_10687`
2×	`flip--_binary64_10718` `div-exp_binary64_10794` `associate-/l/_binary64_10690` `cbrt-unprod_binary64_10776` `sub-neg_binary64_10736` `prod-exp_binary64_10792` `add-log-exp_binary64_10782` `cbrt-undiv_binary64_10777` `flip3--_binary64_10747`
1×	`frac-2neg_binary64_10754` `clear-num_binary64_10742` `unswap-sqr_binary64_10711` `associate-/l_binary64_10688` `-commutative_binary64_10674` `div-inv_binary64_10740` `pow-prod-down_binary64_10814` `distribute-lft-out--_binary64_10695` `difference-of-squares_binary64_10712`

Counts

2 → 53

Calls

2 calls:

8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
8.0ms	(*.f64 y (-.f64 z t))

series172.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

110.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
62.0ms	(*.f64 y (-.f64 z t))

simplify63.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4939	626
1	4939	626

prune92.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	53	6	59
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	7	60

Merged error: 0.0b

Counts

60 → 7

Compiler

Compiled 1565 to 778 computations (50.3% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
4.1b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))

rewrite38.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64_10765`
40×	`times-frac_binary64_10749`
38×	`*-un-lft-identity_binary64_10743`
34×	`associate-r_binary64_10683`
26×	`add-cube-cbrt_binary64_10778` `cbrt-prod_binary64_10774`
25×	`add-exp-log_binary64_10781`
18×	`add-cbrt-cube_binary64_10779`
8×	`cbrt-unprod_binary64_10776` `prod-exp_binary64_10792`
7×	`div-exp_binary64_10794` `associate-l_binary64_10684` `cbrt-undiv_binary64_10777`
6×	`unswap-sqr_binary64_10711` `pow1_binary64_10804` `distribute-lft-out--_binary64_10695` `difference-of-squares_binary64_10712`
4×	`add-log-exp_binary64_10782`
3×	`pow1/3_binary64_10825`
2×	`div-inv_binary64_10740`
1×	`associate-r/_binary64_10685` `-commutative_binary64_10674` `associate-*l/_binary64_10686` `frac-times_binary64_10753` `pow-prod-down_binary64_10814`

Counts

4 → 104

Calls

4 calls:

23.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)

series675.0ms (14.2%)

Counts

4 → 12

Calls

4 calls:

229.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))
156.0ms	(cbrt.f64 a)
148.0ms	(cbrt.f64 a)
142.0ms	(cbrt.f64 a)

simplify90.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4944	1665
1	4944	1665

prune115.0ms (2.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	2	3	5
Picked	1	0	1
Done	1	0	1
Total	118	5	123

Merged error: 0b

Counts

123 → 5

Compiler

Compiled 2559 to 881 computations (65.6% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.0b	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))

rewrite236.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Rules

73×	`add-exp-log_binary64_10781`
35×	`add-cbrt-cube_binary64_10779`
32×	`cbrt-unprod_binary64_10776` `prod-exp_binary64_10792`
22×	`div-exp_binary64_10794` `cbrt-undiv_binary64_10777`
12×	`cbrt-prod_binary64_10774`
10×	`add-sqr-sqrt_binary64_10765` `add-cube-cbrt_binary64_10778` `-un-lft-identity_binary64_10743` `associate-l*_binary64_10684`
9×	`pow1_binary64_10804`
6×	`times-frac_binary64_10749`
5×	`associate-*r/_binary64_10685` `frac-times_binary64_10753`
4×	`add-log-exp_binary64_10782`
3×	`pow1/3_binary64_10825` `associate-*l/_binary64_10686` `pow-prod-down_binary64_10814`
1×	`associate-r_binary64_10683` `*-commutative_binary64_10674` `div-inv_binary64_10740`

Counts

4 → 91

Calls

4 calls:

220.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))
2.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series593.0ms (12.5%)

Counts

4 → 12

Calls

4 calls:

157.0ms	(cbrt.f64 y)
150.0ms	(cbrt.f64 y)
143.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))
143.0ms	(cbrt.f64 y)

simplify78.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5084	1450

prune92.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	103	5	108

Merged error: 0b

Counts

108 → 5

Compiler

Compiled 2262 to 616 computations (72.8% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

6.8b	(*.f64 (/.f64 y a) (-.f64 (/.f64 t -1) (/.f64 z -1)))

rewrite35.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64_10765`
38×	`times-frac_binary64_10749`
33×	`*-un-lft-identity_binary64_10743`
26×	`cancel-sign-sub-inv_binary64_10709`
25×	`add-cube-cbrt_binary64_10778`
14×	`distribute-rgt-in_binary64_10693` `distribute-lft-in_binary64_10692`
13×	`associate-l_binary64_10684`
12×	`associate-r_binary64_10683`
6×	`add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781`
5×	`div-inv_binary64_10740`
4×	`associate-*r/_binary64_10685` `frac-times_binary64_10753` `distribute-lft-out--_binary64_10695` `difference-of-squares_binary64_10712`
3×	`pow1_binary64_10804`
2×	`unswap-sqr_binary64_10711` `flip--_binary64_10718` `cbrt-unprod_binary64_10776` `sub-neg_binary64_10736` `prod-exp_binary64_10792` `frac-sub_binary64_10752` `flip3--_binary64_10747` `sub-div_binary64_10750`
1×	`div-exp_binary64_10794` `-commutative_binary64_10674` `distribute-rgt-out--_binary64_10697` `associate-l/_binary64_10686` `add-log-exp_binary64_10782` `cbrt-undiv_binary64_10777` `pow-prod-down_binary64_10814`

Counts

1 → 77

Calls

1 calls:

26.0ms

(*.f64 (/.f64 y a) (-.f64 (/.f64 t -1) (/.f64 z -1)))

series123.0ms (2.6%)

Counts

1 → 3

Calls

1 calls:

123.0ms

(*.f64 (/.f64 y a) (-.f64 (/.f64 t -1) (/.f64 z -1)))

simplify58.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4915	1396
1	4915	1396

prune85.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	80	5	85

Merged error: 0b

Counts

85 → 5

Compiler

Compiled 1632 to 804 computations (50.7% saved)

regimes125.0ms (2.6%)

Compiler: Compiled 481 to 475 computations (1.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	194	66
1	194	66

end0.0ms (0%)

sample892.0ms (18.7%)

Algorithm

1×

intervals

Results

285.0ms	8000×	body	128	valid
94.0ms	2650×	body	128	invalid

Compiler

Compiled 157 to 117 computations (25.5% saved)

Details

analyze883.0ms (18.5%)

sample31.0ms (0.7%)

simplify208.0ms (4.4%)

prune2.0ms (0%)

localize11.0ms (0.2%)

rewrite20.0ms (0.4%)

series172.0ms (3.6%)

simplify63.0ms (1.3%)

prune92.0ms (1.9%)

localize14.0ms (0.3%)

rewrite38.0ms (0.8%)

series675.0ms (14.2%)

simplify90.0ms (1.9%)

prune115.0ms (2.4%)

localize15.0ms (0.3%)

rewrite236.0ms (4.9%)

series593.0ms (12.5%)

simplify78.0ms (1.6%)

prune92.0ms (1.9%)

localize9.0ms (0.2%)

rewrite35.0ms (0.7%)

series123.0ms (2.6%)

simplify58.0ms (1.2%)

prune85.0ms (1.8%)

regimes125.0ms (2.6%)

bsearch1.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample892.0ms (18.7%)

Profiling