Details

analyze927.0ms (24.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5141	49
0	4	4
1	4	4

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
5.8%	94%	0.2%	9
7.6%	92.2%	0.2%	10
11.6%	88.2%	0.2%	11
18.5%	81.3%	0.2%	12
32.3%	66.9%	0.8%	13
37%	62.2%	0.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample22.0ms (0.6%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	54×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify188.0ms (5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	4367	7
1	4367	7

prune4.0ms (0.1%)

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

6.8b

Counts

2 → 2

Compiler

Compiled 19 to 20 computations (-5.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

6.6b	(*.f64 x (/.f64 y z))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_19878`
13×	`associate-r_binary64_19796`
10×	`times-frac_binary64_19862`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
6×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
3×	`pow1_binary64_19917` `associate-l_binary64_19797`
2×	`unswap-sqr_binary64_19824` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
1×	`cbrt-undiv_binary64_19890` `-commutative_binary64_19787` `div-exp_binary64_19907` `associate-r/_binary64_19798` `pow-prod-down_binary64_19927` `div-inv_binary64_19853` `add-log-exp_binary64_19895`

Counts

1 → 32

Calls

1 calls:

7.0ms

(*.f64 x (/.f64 y z))

series19.0ms (0.5%)

Counts

1 → 3

Calls

1 calls:

19.0ms

(*.f64 x (/.f64 y z))

simplify99.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4985	348
1	4985	348

prune40.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	26	9	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	27	10	37

Error

0.0b

Counts

37 → 10

Compiler

Compiled 447 to 167 computations (62.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
2.9b	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite29.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_19878`
28×	`times-frac_binary64_19862`
25×	`add-exp-log_binary64_19894`
22×	`add-cube-cbrt_binary64_19891` `associate-r_binary64_19796` `*-un-lft-identity_binary64_19856`
20×	`cbrt-prod_binary64_19887`
18×	`add-cbrt-cube_binary64_19892`
8×	`prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
7×	`cbrt-undiv_binary64_19890` `div-exp_binary64_19907` `associate-l_binary64_19797`
6×	`unswap-sqr_binary64_19824` `pow1_binary64_19917`
4×	`add-log-exp_binary64_19895`
3×	`pow1/3_binary64_19938`
2×	`div-inv_binary64_19853`
1×	`frac-times_binary64_19866` `-commutative_binary64_19787` `associate-l/_binary64_19799` `associate-*r/_binary64_19798` `pow-prod-down_binary64_19927`

Counts

4 → 92

Calls

4 calls:

18.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series326.0ms (8.7%)

Counts

4 → 12

Calls

4 calls:

90.0ms	(cbrt.f64 z)
87.0ms	(cbrt.f64 z)
82.0ms	(cbrt.f64 z)
68.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

simplify84.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4953	1221
1	4953	1221

prune78.0ms (2.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	104	10	114

Error

0.0b

Counts

114 → 10

Compiler

Compiled 1621 to 525 computations (67.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.0b	(*.f64 y (/.f64 x z))

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_19878`
13×	`associate-r_binary64_19796`
10×	`times-frac_binary64_19862`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
6×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
3×	`pow1_binary64_19917` `associate-l_binary64_19797`
2×	`unswap-sqr_binary64_19824` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
1×	`cbrt-undiv_binary64_19890` `-commutative_binary64_19787` `div-exp_binary64_19907` `associate-r/_binary64_19798` `pow-prod-down_binary64_19927` `div-inv_binary64_19853` `add-log-exp_binary64_19895`

Counts

1 → 32

Calls

1 calls:

7.0ms

(*.f64 y (/.f64 x z))

series21.0ms (0.6%)

Counts

1 → 3

Calls

1 calls:

21.0ms

(*.f64 y (/.f64 x z))

simplify92.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5386	348

prune31.0ms (0.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	32	3	35
Fresh	3	4	7
Picked	0	1	1
Done	0	2	2
Total	35	10	45

Error

Counts

45 → 10

Compiler

Compiled 417 to 150 computations (64% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
2.4b	(*.f64 (/.f64 x z) (cbrt.f64 y))
3.0b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))

rewrite29.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-exp-log_binary64_19894`
25×	`add-sqr-sqrt_binary64_19878`
18×	`pow1_binary64_19917` `add-cbrt-cube_binary64_19892`
15×	`add-cube-cbrt_binary64_19891` `prod-exp_binary64_19905` `*-un-lft-identity_binary64_19856` `cbrt-unprod_binary64_19889`
14×	`associate-l_binary64_19797`
11×	`cbrt-prod_binary64_19887` `times-frac_binary64_19862`
9×	`pow-prod-down_binary64_19927`
7×	`associate-r_binary64_19796`
4×	`unswap-sqr_binary64_19824` `add-log-exp_binary64_19895`
3×	`cbrt-undiv_binary64_19890` `div-exp_binary64_19907`
2×	`-commutative_binary64_19787` `associate-l/_binary64_19799` `pow1/3_binary64_19938`
1×	`associate-*r/_binary64_19798` `div-inv_binary64_19853`

Counts

4 → 86

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))
8.0ms	(*.f64 (/.f64 x z) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series278.0ms (7.4%)

Counts

4 → 12

Calls

4 calls:

85.0ms	(cbrt.f64 y)
78.0ms	(cbrt.f64 y)
73.0ms	(*.f64 (/.f64 x z) (cbrt.f64 y))
43.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))

simplify66.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5102	931

prune59.0ms (1.6%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	98	10	108

Error

Counts

108 → 10

Compiler

Compiled 1380 to 314 computations (77.2% saved)

regimes304.0ms (8.1%)

Accuracy

Total 2.1b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 2508 to 1859 computations (25.9% saved)

bsearch0.0ms (0%)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	31
1	14	31

Compiler

Compiled 38 to 24 computations (36.8% saved)

end0.0ms (0%)

sample1.0s (26.8%)

Algorithm

1×

intervals

Results

287.0ms	8000×	body	128	valid
50.0ms	1504×	body	128	invalid

Compiler

Compiled 428 to 291 computations (32% saved)

Details

analyze927.0ms (24.7%)

sample22.0ms (0.6%)

simplify188.0ms (5%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

rewrite9.0ms (0.2%)

series19.0ms (0.5%)

simplify99.0ms (2.6%)

prune40.0ms (1.1%)

localize8.0ms (0.2%)

rewrite29.0ms (0.8%)

series326.0ms (8.7%)

simplify84.0ms (2.2%)

prune78.0ms (2.1%)

localize4.0ms (0.1%)

rewrite9.0ms (0.3%)

series21.0ms (0.6%)

simplify92.0ms (2.4%)

prune31.0ms (0.8%)

localize8.0ms (0.2%)

rewrite29.0ms (0.8%)

series278.0ms (7.4%)

simplify66.0ms (1.8%)

prune59.0ms (1.6%)

regimes304.0ms (8.1%)

bsearch0.0ms (0%)

simplify7.0ms (0.2%)

end0.0ms (0%)

sample1.0s (26.8%)

Profiling