Details

analyze716.0ms (18.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4852	91
1	4852	91
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
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample18.0ms (0.5%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	14×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify276.0ms (7.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (270.0ms)

Iter	Nodes	Cost
0	5580	13

prune3.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

13.3b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
12.6b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

rewrite21.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_14422`
14×	`*-un-lft-identity_binary64_14400`
9×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
8×	`add-cube-cbrt_binary64_14435`
6×	`cancel-sign-sub-inv_binary64_14366`
5×	`associate-/r_binary64_14344` `times-frac_binary64_14406` `associate-r*_binary64_14340`
4×	`associate-*r/_binary64_14342` `pow1_binary64_14461` `distribute-rgt-in_binary64_14350` `distribute-lft-in_binary64_14349`
3×	`difference-of-squares_binary64_14369` `flip--_binary64_14375` `flip3--_binary64_14404` `distribute-lft-out--_binary64_14352` `associate-l_binary64_14341`
2×	`associate-/l/_binary64_14347` `sub-neg_binary64_14393` `cbrt-unprod_binary64_14433` `prod-exp_binary64_14449` `cbrt-undiv_binary64_14434` `div-exp_binary64_14451` `add-log-exp_binary64_14439` `associate-/r/_binary64_14346`
1×	`pow-prod-down_binary64_14471` `frac-2neg_binary64_14411` `clear-num_binary64_14399` `div-inv_binary64_14397` `-commutative_binary64_14331` `unswap-sqr_binary64_14368` `associate-/l_binary64_14345`

Counts

2 → 59

Calls

2 calls:

11.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
7.0ms	(*.f64 x (-.f64 y z))

series115.0ms (3%)

Counts

2 → 6

Calls

2 calls:

83.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
32.0ms	(*.f64 x (-.f64 y z))

simplify58.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	6045	780

prune51.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	59	6	65
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	6	66

Error

0.0b

Counts

66 → 6

Compiler

Compiled 929 to 238 computations (74.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
3.2b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

rewrite33.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_14422`
70×	`*-un-lft-identity_binary64_14400`
51×	`times-frac_binary64_14406`
31×	`associate-r_binary64_14340`
26×	`add-cube-cbrt_binary64_14435`
22×	`difference-of-squares_binary64_14369` `distribute-lft-out--_binary64_14352`
9×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
5×	`associate-/r_binary64_14344` `associate-/l_binary64_14345`
4×	`pow1_binary64_14461` `associate-/r/_binary64_14346`
3×	`flip--_binary64_14375` `flip3--_binary64_14404` `associate-l_binary64_14341`
2×	`associate-/l/_binary64_14347` `cbrt-unprod_binary64_14433` `prod-exp_binary64_14449` `cbrt-undiv_binary64_14434` `div-exp_binary64_14451` `div-inv_binary64_14397` `add-log-exp_binary64_14439` `unswap-sqr_binary64_14368`
1×	`pow-prod-down_binary64_14471` `frac-2neg_binary64_14411` `clear-num_binary64_14399` `associate-r/_binary64_14342` `-commutative_binary64_14331` `div-sub_binary64_14405`

Counts

2 → 102

Calls

2 calls:

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

series128.0ms (3.3%)

Counts

2 → 6

Calls

2 calls:

86.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
42.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

simplify68.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5084	1767

prune73.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	107	7	114

Error

Counts

114 → 7

Compiler

Compiled 1835 to 362 computations (80.3% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 t z) (-.f64 y z))
3.4b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

rewrite42.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_14406`
194×	`add-sqr-sqrt_binary64_14422` `*-un-lft-identity_binary64_14400`
90×	`add-cube-cbrt_binary64_14435`
52×	`difference-of-squares_binary64_14369` `distribute-lft-out--_binary64_14352`
36×	`associate-/r*_binary64_14344`
11×	`associate-/r/_binary64_14346`
9×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
8×	`associate-/l*_binary64_14345`
6×	`flip--_binary64_14375` `div-inv_binary64_14397` `flip3--_binary64_14404`
4×	`cbrt-undiv_binary64_14434` `div-exp_binary64_14451`
2×	`associate-/l/_binary64_14347` `frac-2neg_binary64_14411` `clear-num_binary64_14399` `add-log-exp_binary64_14439` `pow1_binary64_14461`
1×	`div-sub_binary64_14405`

Counts

2 → 194

Calls

2 calls:

13.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
9.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

series190.0ms (4.9%)

Counts

2 → 6

Calls

2 calls:

148.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
42.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

simplify90.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5009	4887

prune131.0ms (3.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	201	6	207

Error

Counts

207 → 6

Compiler

Compiled 3893 to 559 computations (85.6% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 t z))
0.6b	(cbrt.f64 (-.f64 t z))
0.6b	(cbrt.f64 (-.f64 t z))
6.2b	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (-.f64 y z) (cbrt.f64 (-.f64 t z))))

rewrite65.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64_14422`
60×	`*-un-lft-identity_binary64_14400`
50×	`times-frac_binary64_14406`
46×	`associate-r_binary64_14340`
42×	`cbrt-prod_binary64_14431`
28×	`add-cube-cbrt_binary64_14435`
25×	`add-exp-log_binary64_14438`
20×	`cbrt-div_binary64_14432`
18×	`add-cbrt-cube_binary64_14436`
16×	`difference-of-squares_binary64_14369` `distribute-lft-out--_binary64_14352`
15×	`associate-l_binary64_14341`
10×	`flip--_binary64_14375` `flip3--_binary64_14404` `associate-/r/_binary64_14346`
8×	`cbrt-unprod_binary64_14433` `prod-exp_binary64_14449`
7×	`cbrt-undiv_binary64_14434` `div-exp_binary64_14451`
6×	`pow1_binary64_14461` `unswap-sqr_binary64_14368`
5×	`frac-times_binary64_14410`
4×	`add-log-exp_binary64_14439`
3×	`associate-l/_binary64_14343` `pow1/3_binary64_14482` `associate-r/_binary64_14342`
2×	`div-inv_binary64_14397`
1×	`pow-prod-down_binary64_14471` `*-commutative_binary64_14331`

Counts

4 → 136

Calls

4 calls:

39.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (-.f64 y z) (cbrt.f64 (-.f64 t z))))
3.0ms	(cbrt.f64 (-.f64 t z))
3.0ms	(cbrt.f64 (-.f64 t z))
3.0ms	(cbrt.f64 (-.f64 t z))

series470.0ms (12%)

Counts

4 → 12

Calls

4 calls:

149.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (-.f64 y z) (cbrt.f64 (-.f64 t z))))
121.0ms	(cbrt.f64 (-.f64 t z))
100.0ms	(cbrt.f64 (-.f64 t z))
100.0ms	(cbrt.f64 (-.f64 t z))

simplify94.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4966	3453
1	4966	3453

prune120.0ms (3.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	148	6	154

Error

Counts

154 → 6

Compiler

Compiled 3951 to 616 computations (84.4% saved)

regimes266.0ms (6.8%)

Accuracy

Total 1.2b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 1440 to 1139 computations (20.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	58	67
1	58	67

end0.0ms (0%)

sample830.0ms (21.3%)

Algorithm

1×

intervals

Results

259.0ms	8000×	body	128	valid
19.0ms	649×	body	128	invalid

Compiler

Compiled 326 to 246 computations (24.5% saved)

Details

analyze716.0ms (18.4%)

sample18.0ms (0.5%)

simplify276.0ms (7.1%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

rewrite21.0ms (0.6%)

series115.0ms (3%)

simplify58.0ms (1.5%)

prune51.0ms (1.3%)

localize8.0ms (0.2%)

rewrite33.0ms (0.8%)

series128.0ms (3.3%)

simplify68.0ms (1.7%)

prune73.0ms (1.9%)

localize9.0ms (0.2%)

rewrite42.0ms (1.1%)

series190.0ms (4.9%)

simplify90.0ms (2.3%)

prune131.0ms (3.4%)

localize14.0ms (0.4%)

rewrite65.0ms (1.7%)

series470.0ms (12%)

simplify94.0ms (2.4%)

prune120.0ms (3.1%)

regimes266.0ms (6.8%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample830.0ms (21.3%)

Profiling