Details

analyze319.0ms (6.2%)

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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
25%	74.9%	0.1%	8
37.4%	62.4%	0.1%	9
46.8%	53%	0.1%	10
55%	44.9%	0.1%	11
64.2%	35.7%	0.1%	12
70.3%	29.5%	0.1%	13
75.4%	24.4%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample18.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	231×	body	128	valid
1.0ms	13×	body	1024	valid
0.0ms	7×	body	512	valid
0.0ms	3×	body	2048	valid
0.0ms	2×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 23 to 20 computations (13% saved)

simplify169.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	149	13
1	149	13

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 (+.f64 x y) 2) z)
0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_5842`
4×	`*-un-lft-identity_binary64_5806` `sum-log_binary64_5894`
2×	`pow1_binary64_5864` `flip3-+_binary64_5809` `flip-+_binary64_5780` `+-commutative_binary64_5738` `add-sqr-sqrt_binary64_5827` `add-exp-log_binary64_5841` `add-cbrt-cube_binary64_5839` `add-cube-cbrt_binary64_5838`
1×	`associate-+r+_binary64_5740` `distribute-lft-out_binary64_5759`

Counts

2 → 25

Calls

2 calls:

9.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
7.0ms	(+.f64 (*.f64 (+.f64 x y) 2) z)

series76.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

38.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
37.0ms	(+.f64 (*.f64 (+.f64 x y) 2) z)

simplify68.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5173	517

prune37.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	25	6	31
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	26	6	32

Merged error: 0.0b

Counts

32 → 6

Compiler

Compiled 609 to 341 computations (44% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_5842`
3×	`*-un-lft-identity_binary64_5806` `sum-log_binary64_5894`
1×	`pow1_binary64_5864` `flip3-+_binary64_5809` `flip-+_binary64_5780` `+-commutative_binary64_5738` `associate-+l+_binary64_5741` `add-sqr-sqrt_binary64_5827` `distribute-lft-out_binary64_5759` `add-exp-log_binary64_5841` `add-cbrt-cube_binary64_5839` `add-cube-cbrt_binary64_5838`

Counts

1 → 14

Calls

1 calls:

7.0ms

(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

series37.0ms (0.7%)

Counts

1 → 3

Calls

1 calls:

37.0ms

(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

simplify44.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5051	306

prune22.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	17	6	23

Merged error: 0.0b

Counts

23 → 6

Compiler

Compiled 396 to 229 computations (42.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) 2) z)) (cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.6b	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
0.6b	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
0.6b	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))

rewrite54.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_5834`
23×	`add-sqr-sqrt_binary64_5827`
18×	`cbrt-div_binary64_5835`
15×	`add-cube-cbrt_binary64_5838` `*-un-lft-identity_binary64_5806`
11×	`pow1_binary64_5864`
9×	`flip3-+_binary64_5809` `flip-+_binary64_5780` `pow1/3_binary64_5885`
6×	`swap-sqr_binary64_5773` `associate-l_binary64_5749` `associate-r_binary64_5748` `add-exp-log_binary64_5841`
4×	`frac-times_binary64_5816` `unswap-sqr_binary64_5774` `add-log-exp_binary64_5842` `add-cbrt-cube_binary64_5839`
2×	`pow-prod-up_binary64_5873` `pow-sqr_binary64_5779` `associate-r/_binary64_5750` `pow-prod-down_binary64_5874` `associate-l/_binary64_5751`
1×	`prod-exp_binary64_5852` `cbrt-unprod_binary64_5836` `pow-plus_binary64_5866` `pow2_binary64_5884` `*-commutative_binary64_5739`

Counts

4 → 87

Calls

4 calls:

20.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) 2) z)) (cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z)))
8.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
8.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
7.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))

series1.5s (28.1%)

Counts

4 → 12

Calls

4 calls:

434.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) 2) z)) (cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z)))
348.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
334.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))
334.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 x y) 2) z))

simplify95.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4869	2218
1	4869	2218

prune160.0ms (3.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	97	8	105

Merged error: 0b

Counts

105 → 8

Compiler

Compiled 3610 to 2065 computations (42.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
0.6b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.6b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.6b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

rewrite63.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_5834`
35×	`*-un-lft-identity_binary64_5806`
23×	`add-sqr-sqrt_binary64_5827`
18×	`cbrt-div_binary64_5835`
15×	`add-cube-cbrt_binary64_5838`
11×	`pow1_binary64_5864`
9×	`swap-sqr_binary64_5773` `flip3-+_binary64_5809` `flip-+_binary64_5780` `distribute-lft-out_binary64_5759` `pow1/3_binary64_5885`
7×	`associate-l_binary64_5749` `associate-r_binary64_5748`
6×	`add-exp-log_binary64_5841`
4×	`frac-times_binary64_5816` `unswap-sqr_binary64_5774` `add-log-exp_binary64_5842` `add-cbrt-cube_binary64_5839`
2×	`pow-prod-up_binary64_5873` `pow-sqr_binary64_5779` `associate-r/_binary64_5750` `pow-prod-down_binary64_5874` `associate-l/_binary64_5751`
1×	`prod-exp_binary64_5852` `cbrt-unprod_binary64_5836` `pow-plus_binary64_5866` `pow2_binary64_5884` `*-commutative_binary64_5739`

Counts

4 → 95

Calls

4 calls:

22.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
11.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

series1.5s (28.4%)

Counts

4 → 12

Calls

4 calls:

437.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
347.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
346.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
337.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

simplify117.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4754	2711
1	4754	2711

prune191.0ms (3.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	107	8	115

Merged error: 0b

Counts

115 → 8

Compiler

Compiled 4051 to 2319 computations (42.8% saved)

regimes67.0ms (1.3%)

Compiler: Compiled 720 to 492 computations (31.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

end0.0ms (0%)

sample639.0ms (12.4%)

Algorithm

1×

intervals

Results

212.0ms	7427×	body	128	valid
19.0ms	205×	body	1024	valid
12.0ms	164×	body	512	valid
11.0ms	92×	body	2048	valid
6.0ms	112×	body	256	valid
0.0ms	9×	body	128	invalid

Compiler

Compiled 259 to 178 computations (31.3% saved)

Details

analyze319.0ms (6.2%)

sample18.0ms (0.4%)

simplify169.0ms (3.3%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

rewrite18.0ms (0.4%)

series76.0ms (1.5%)

simplify68.0ms (1.3%)

prune37.0ms (0.7%)

localize7.0ms (0.1%)

rewrite8.0ms (0.2%)

series37.0ms (0.7%)

simplify44.0ms (0.8%)

prune22.0ms (0.4%)

localize11.0ms (0.2%)

rewrite54.0ms (1%)

series1.5s (28.1%)

simplify95.0ms (1.8%)

prune160.0ms (3.1%)

localize11.0ms (0.2%)

rewrite63.0ms (1.2%)

series1.5s (28.4%)

simplify117.0ms (2.3%)

prune191.0ms (3.7%)

regimes67.0ms (1.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample639.0ms (12.4%)

Profiling