Details

analyze243.0ms (3.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample21.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify243.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	1363	18
1	1363	18

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
0.0b	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
0.1b	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite39.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64_12463` `add-log-exp_binary64_12502`
15×	`add-sqr-sqrt_binary64_12485`
12×	`log-prod_binary64_12549`
11×	`add-cube-cbrt_binary64_12498`
7×	`pow1_binary64_12524`
6×	`add-exp-log_binary64_12501` `distribute-rgt-in_binary64_12413` `distribute-lft-in_binary64_12412` `diff-log_binary64_12555` `associate--r+_binary64_12399` `add-cbrt-cube_binary64_12499`
5×	`cancel-sign-sub-inv_binary64_12429`
4×	`associate-l_binary64_12404` `associate-r_binary64_12403` `sum-log_binary64_12554`
3×	`sub-neg_binary64_12456` `distribute-lft-out_binary64_12414`
2×	`distribute-lft-out--_binary64_12415` `flip--_binary64_12438` `associate-*l/_binary64_12406` `flip3-+_binary64_12466` `associate-+l+_binary64_12396` `flip3--_binary64_12467` `associate-+l-_binary64_12398` `flip-+_binary64_12437`
1×	`prod-exp_binary64_12512` `unswap-sqr_binary64_12431` `log-pow_binary64_12552` `difference-of-squares_binary64_12432` `cbrt-unprod_binary64_12496` `*-commutative_binary64_12394` `+-commutative_binary64_12393` `pow-prod-down_binary64_12534` `associate--l+_binary64_12400` `associate--l-_binary64_12401`

Counts

4 → 83

Calls

4 calls:

13.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
8.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
7.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
5.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))

series422.0ms (6.5%)

Counts

4 → 12

Calls

4 calls:

185.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
95.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
80.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
63.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))

simplify95.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4955	1643
1	4955	1643

prune213.0ms (3.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	88	7	95
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	8	96

Merged error: 0.0b

Counts

96 → 8

Compiler

Compiled 3555 to 2396 computations (32.6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)
0.3b	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite47.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`log-prod_binary64_12549`
30×	`distribute-rgt-in_binary64_12413` `distribute-lft-in_binary64_12412`
29×	`associate-+l+_binary64_12396`
24×	`*-un-lft-identity_binary64_12463` `cbrt-prod_binary64_12494`
19×	`add-cube-cbrt_binary64_12498` `add-sqr-sqrt_binary64_12485`
15×	`add-log-exp_binary64_12502`
12×	`associate-+r+_binary64_12395`
8×	`associate-*l/_binary64_12406`
6×	`flip3-+_binary64_12466` `flip-+_binary64_12437`
5×	`sum-log_binary64_12554`
4×	`frac-add_binary64_12471` `pow1_binary64_12524` `add-exp-log_binary64_12501` `cancel-sign-sub-inv_binary64_12429` `distribute-lft-out_binary64_12414` `add-cbrt-cube_binary64_12499`
2×	`+-commutative_binary64_12393` `diff-log_binary64_12555` `pow1/3_binary64_12545`
1×	`distribute-lft-out--_binary64_12415` `sub-neg_binary64_12456` `associate-+l-_binary64_12398`

Counts

4 → 95

Calls

4 calls:

17.0ms	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
15.0ms	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series1.2s (18.7%)

Counts

4 → 12

Calls

4 calls:

740.0ms	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
169.0ms	(cbrt.f64 y)
159.0ms	(cbrt.f64 y)
149.0ms	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5079	1715

prune187.0ms (2.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	108	7	115

Merged error: 0.0b

Counts

115 → 7

Compiler

Compiled 3621 to 2249 computations (37.9% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)
0.3b	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
0.6b	(cbrt.f64 y)
5.1b	(pow.f64 y 1/3)

rewrite51.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`log-prod_binary64_12549`
34×	`distribute-rgt-in_binary64_12413` `distribute-lft-in_binary64_12412`
33×	`associate-+l+_binary64_12396`
25×	`*-un-lft-identity_binary64_12463`
20×	`add-cube-cbrt_binary64_12498` `add-sqr-sqrt_binary64_12485`
15×	`unpow-prod-down_binary64_12542` `add-log-exp_binary64_12502`
12×	`associate-+r+_binary64_12395`
9×	`cbrt-prod_binary64_12494`
8×	`associate-*l/_binary64_12406`
6×	`flip3-+_binary64_12466` `flip-+_binary64_12437`
5×	`pow1_binary64_12524` `add-exp-log_binary64_12501` `sqr-pow_binary64_12435` `sum-log_binary64_12554`
4×	`frac-add_binary64_12471` `cancel-sign-sub-inv_binary64_12429` `distribute-lft-out_binary64_12414` `add-cbrt-cube_binary64_12499`
3×	`pow-unpow_binary64_12540`
2×	`+-commutative_binary64_12393` `diff-log_binary64_12555`
1×	`distribute-lft-out--_binary64_12415` `pow-pow_binary64_12535` `sub-neg_binary64_12456` `pow-to-exp_binary64_12532` `pow-exp_binary64_12531` `unpow1/3_binary64_12530` `pow1/3_binary64_12545` `associate-+l-_binary64_12398`

Counts

4 → 106

Calls

4 calls:

17.0ms	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
15.0ms	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)
3.0ms	(pow.f64 y 1/3)
2.0ms	(cbrt.f64 y)

series1.5s (23.1%)

Counts

4 → 12

Calls

4 calls:

996.0ms	(+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))
197.0ms	(+.f64 (-.f64 x (+.f64 (.f64 (+.f64 y 1/2) (.f64 2 (log.f64 (pow.f64 y 1/3)))) (*.f64 (+.f64 y 1/2) (log.f64 (cbrt.f64 y))))) y)
168.0ms	(cbrt.f64 y)
139.0ms	(pow.f64 y 1/3)

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4938	1861
1	4938	1861

prune184.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	117	8	125

Merged error: 0b

Counts

125 → 8

Compiler

Compiled 3669 to 2389 computations (34.9% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 y 2) 1/3)
0.4b	(.f64 (+.f64 0 (log.f64 y)) (+.f64 1/3 (.f64 (*.f64 y 2) 1/3)))
0.6b	(cbrt.f64 (neg.f64 y))
0.6b	(cbrt.f64 (neg.f64 y))

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`cbrt-prod_binary64_12494`
17×	`*-un-lft-identity_binary64_12463`
15×	`add-sqr-sqrt_binary64_12485`
13×	`add-cube-cbrt_binary64_12498`
12×	`pow1_binary64_12524`
11×	`add-exp-log_binary64_12501` `add-cbrt-cube_binary64_12499`
8×	`associate-r_binary64_12403`
6×	`associate-l_binary64_12404` `distribute-rgt-neg-in_binary64_12421` `distribute-lft-neg-in_binary64_12420` `flip3-+_binary64_12466` `flip-+_binary64_12437`
4×	`prod-exp_binary64_12512` `cbrt-unprod_binary64_12496` `pow-prod-down_binary64_12534` `frac-times_binary64_12473` `add-log-exp_binary64_12502`
2×	`neg-mul-1_binary64_12459` `-commutative_binary64_12394` `associate-l/_binary64_12406` `distribute-lft-out_binary64_12414` `associate-*r/_binary64_12405` `pow1/3_binary64_12545`
1×	`distribute-rgt-out_binary64_12416` `unswap-sqr_binary64_12431` `log-pow_binary64_12552` `distribute-rgt-in_binary64_12413` `distribute-lft-in_binary64_12412` `distribute-rgt1-in_binary64_12419`

Counts

4 → 86

Calls

4 calls:

11.0ms	(.f64 (+.f64 0 (log.f64 y)) (+.f64 1/3 (.f64 (*.f64 y 2) 1/3)))
6.0ms	(.f64 (.f64 y 2) 1/3)
2.0ms	(cbrt.f64 (neg.f64 y))
2.0ms	(cbrt.f64 (neg.f64 y))

series531.0ms (8.2%)

Counts

4 → 12

Calls

4 calls:

184.0ms	(.f64 (+.f64 0 (log.f64 y)) (+.f64 1/3 (.f64 (*.f64 y 2) 1/3)))
172.0ms	(cbrt.f64 (neg.f64 y))
150.0ms	(cbrt.f64 (neg.f64 y))
25.0ms	(.f64 (.f64 y 2) 1/3)

simplify96.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5265	1116

prune220.0ms (3.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	98	8	106

Merged error: 0b

Counts

106 → 8

Compiler

Compiled 4434 to 2953 computations (33.4% saved)

regimes104.0ms (1.6%)

Compiler: Compiled 830 to 691 computations (16.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	18
1	64	18

end0.0ms (0%)

sample825.0ms (12.7%)

Algorithm

1×

intervals

Results

406.0ms	7997×	body	128	valid
2.0ms	32×	body	128	invalid
1.0ms	3×	body	1024	valid

Compiler

Compiled 193 to 161 computations (16.6% saved)

Details

analyze243.0ms (3.7%)

sample21.0ms (0.3%)

simplify243.0ms (3.7%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite39.0ms (0.6%)

series422.0ms (6.5%)

simplify95.0ms (1.5%)

prune213.0ms (3.3%)

localize15.0ms (0.2%)

rewrite47.0ms (0.7%)

series1.2s (18.7%)

simplify70.0ms (1.1%)

prune187.0ms (2.9%)

localize25.0ms (0.4%)

rewrite51.0ms (0.8%)

series1.5s (23.1%)

simplify77.0ms (1.2%)

prune184.0ms (2.8%)

localize25.0ms (0.4%)

rewrite32.0ms (0.5%)

series531.0ms (8.2%)

simplify96.0ms (1.5%)

prune220.0ms (3.4%)

regimes104.0ms (1.6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample825.0ms (12.7%)

Profiling