Details

analyze566.0ms (4.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4905	64
1	4905	64
0	3	3
1	3	3

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%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.2%	10.3%	12
55%	30%	15%	13
59.5%	25.3%	15.3%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample21.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	238×	body	128	valid
1.0ms	8×	body	512	valid
1.0ms	5×	body	1024	valid
0.0ms	10×	body	128	invalid
0.0ms	5×	body	256	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify229.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	2426	16
1	2426	16

prune4.0ms (0%)

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

Error

0.4b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
0.0b	(*.f64 (-.f64 y x) 6)
0.4b	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

rewrite119.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_9648`
14×	`*-un-lft-identity_binary64_9626`
12×	`cancel-sign-sub-inv_binary64_9592`
10×	`pow1_binary64_9687` `add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662` `add-cube-cbrt_binary64_9661` `associate-*l/_binary64_9569`
8×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `associate-r_binary64_9566` `associate-+r+_binary64_9558`
7×	`flip3--_binary64_9630` `flip--_binary64_9601`
6×	`associate-l_binary64_9567`
5×	`add-log-exp_binary64_9665`
4×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `frac-times_binary64_9636` `sub-neg_binary64_9619`
2×	`associate-r/_binary64_9568` `difference-of-squares_binary64_9595` `distribute-lft-out--_binary64_9578` `-commutative_binary64_9557`
1×	`unswap-sqr_binary64_9594` `sum-log_binary64_9717` `flip3-+_binary64_9629` `flip-+_binary64_9600` `+-commutative_binary64_9556`

Counts

3 → 77

Calls

3 calls:

11.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))
6.0ms	(*.f64 (-.f64 y x) 6)
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))

Compiler

Compiled 1580 to 884 computations (44.1% saved)

series576.0ms (4.7%)

Error

0.1b

Counts

3 → 48

Calls

3 calls:

265.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
199.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))
69.0ms	(*.f64 (-.f64 y x) 6)

Compiler

Compiled 1734 to 1353 computations (22% saved)

simplify80.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5048	1779

prune122.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	119	6	125
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	119	7	126

Error

0.0b

Counts

126 → 7

Compiler

Compiled 2006 to 1147 computations (42.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 z (-.f64 y x))
0.0b	(+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (*.f64 x -3))
0.0b	(+.f64 (.f64 4 y) (+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (.f64 x -3)))
0.3b	(.f64 -6 (.f64 z (-.f64 y x)))

rewrite153.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
30×	`cancel-sign-sub-inv_binary64_9592`
21×	`add-sqr-sqrt_binary64_9648`
19×	`*-un-lft-identity_binary64_9626`
17×	`add-cube-cbrt_binary64_9661`
16×	`associate-+l+_binary64_9559`
11×	`pow1_binary64_9687` `add-exp-log_binary64_9664` `add-log-exp_binary64_9665` `add-cbrt-cube_binary64_9662`
10×	`sub-neg_binary64_9619`
6×	`associate-r/_binary64_9568` `associate-l_binary64_9567` `associate-r*_binary64_9566`
4×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `sum-log_binary64_9717`
2×	`flip3--_binary64_9630` `flip--_binary64_9601` `*-commutative_binary64_9557` `flip3-+_binary64_9629` `flip-+_binary64_9600` `+-commutative_binary64_9556`
1×	`associate-+r+_binary64_9558` `unswap-sqr_binary64_9594` `difference-of-squares_binary64_9595` `distribute-lft-out--_binary64_9578`

Counts

4 → 106

Calls

4 calls:

11.0ms	(+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (*.f64 x -3))
10.0ms	(+.f64 (.f64 4 y) (+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (.f64 x -3)))
9.0ms	(.f64 -6 (.f64 z (-.f64 y x)))
7.0ms	(*.f64 z (-.f64 y x))

Compiler

Compiled 2504 to 1352 computations (46% saved)

series786.0ms (6.4%)

Error

0.0b

Counts

4 → 66

Calls

4 calls:

277.0ms	(+.f64 (.f64 4 y) (+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (.f64 x -3)))
218.0ms	(+.f64 (.f64 -6 (.f64 z (-.f64 y x))) (*.f64 x -3))
131.0ms	(.f64 -6 (.f64 z (-.f64 y x)))
106.0ms	(*.f64 z (-.f64 y x))

Compiler

Compiled 2626 to 2018 computations (23.2% saved)

simplify53.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4972	2317
1	4972	2317

prune158.0ms (1.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	172	7	179

Error

0.0b

Counts

179 → 7

Compiler

Compiled 3145 to 1799 computations (42.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (.f64 6 z) 3)))
0.0b	(+.f64 (.f64 4 y) (+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (*.f64 6 z) 3))))
0.1b	(.f64 x (-.f64 (.f64 6 z) 3))
0.3b	(.f64 (.f64 y z) -6)

rewrite318.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64_9648`
12×	`cancel-sign-sub-inv_binary64_9592`
11×	`pow1_binary64_9687` `add-exp-log_binary64_9664` `add-log-exp_binary64_9665` `add-cbrt-cube_binary64_9662` `add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626`
9×	`associate-+r+_binary64_9558`
8×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
6×	`associate-r_binary64_9566`
4×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `associate-l_binary64_9567` `sub-neg_binary64_9619` `sum-log_binary64_9717`
2×	`-commutative_binary64_9557` `associate-r/_binary64_9568` `flip3-+_binary64_9629` `flip-+_binary64_9600` `+-commutative_binary64_9556`
1×	`unswap-sqr_binary64_9594` `flip3--_binary64_9630` `flip--_binary64_9601`

Counts

4 → 78

Calls

4 calls:

8.0ms	(+.f64 (.f64 4 y) (+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (*.f64 6 z) 3))))
7.0ms	(.f64 x (-.f64 (.f64 6 z) 3))
6.0ms	(+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (.f64 6 z) 3)))
5.0ms	(.f64 (.f64 y z) -6)

Compiler

Compiled 2046 to 1402 computations (31.5% saved)

series675.0ms (5.5%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

269.0ms	(+.f64 (.f64 4 y) (+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (*.f64 6 z) 3))))
223.0ms	(+.f64 (.f64 (.f64 y z) -6) (.f64 x (-.f64 (.f64 6 z) 3)))
85.0ms	(.f64 x (-.f64 (.f64 6 z) 3))
58.0ms	(.f64 (.f64 y z) -6)

Compiler

Compiled 2094 to 1638 computations (21.8% saved)

simplify69.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4962	1898
1	4962	1898

prune130.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	129	7	136

Error

Counts

136 → 7

Compiler

Compiled 2544 to 1677 computations (34.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x))))) (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (*.f64 6 (-.f64 y x))))))
0.6b	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
0.6b	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
0.6b	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))

rewrite254.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_9657`
23×	`add-sqr-sqrt_binary64_9648`
18×	`cbrt-div_binary64_9658`
15×	`add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626`
11×	`pow1_binary64_9687`
9×	`pow1/3_binary64_9708` `flip3-+_binary64_9629` `flip-+_binary64_9600`
6×	`add-exp-log_binary64_9664` `swap-sqr_binary64_9593` `associate-l_binary64_9567` `associate-r_binary64_9566`
4×	`add-log-exp_binary64_9665` `add-cbrt-cube_binary64_9662` `frac-times_binary64_9636` `unswap-sqr_binary64_9594`
2×	`pow-prod-down_binary64_9697` `pow-prod-up_binary64_9696` `pow-sqr_binary64_9599` `associate-l/_binary64_9569` `associate-r/_binary64_9568`
1×	`pow2_binary64_9707` `pow-plus_binary64_9689` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `*-commutative_binary64_9557`

Counts

4 → 87

Calls

4 calls:

10.0ms	(.f64 (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x))))) (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (*.f64 6 (-.f64 y x))))))
5.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
3.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
3.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))

Compiler

Compiled 4856 to 3013 computations (38% saved)

series4.3s (34.7%)

Error

Counts

4 → 72

Calls

4 calls:

2.0s	(.f64 (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x))))) (cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (*.f64 6 (-.f64 y x))))))
685.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
681.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))
667.0ms	(cbrt.f64 (+.f64 x (.f64 (-.f64 2/3 z) (.f64 6 (-.f64 y x)))))

Compiler

Compiled 18487 to 14533 computations (21.4% saved)

simplify106.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5063	7365

prune427.0ms (3.5%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	159	7	166

Error

Counts

166 → 7

Compiler

Compiled 8623 to 5666 computations (34.3% saved)

regimes834.0ms (6.8%)

Accuracy

Total 0.2b remaining (97.7%)

Threshold costs 0.2b (97.7%)

Compiler

Compiled 9951 to 8070 computations (18.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	25
1	33	25

end0.0ms (0%)

sample2.3s (18.6%)

Algorithm

1×

intervals

Results

279.0ms	7315×	body	128	valid
32.0ms	241×	body	1024	valid
29.0ms	605×	body	128	invalid
29.0ms	287×	body	512	valid
11.0ms	157×	body	256	valid

Compiler

Compiled 2004 to 1624 computations (19% saved)

Details

analyze566.0ms (4.6%)

sample21.0ms (0.2%)

simplify229.0ms (1.9%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite119.0ms (1%)

series576.0ms (4.7%)

simplify80.0ms (0.7%)

prune122.0ms (1%)

localize11.0ms (0.1%)

rewrite153.0ms (1.2%)

series786.0ms (6.4%)

simplify53.0ms (0.4%)

prune158.0ms (1.3%)

localize11.0ms (0.1%)

rewrite318.0ms (2.6%)

series675.0ms (5.5%)

simplify69.0ms (0.6%)

prune130.0ms (1.1%)

localize12.0ms (0.1%)

rewrite254.0ms (2.1%)

series4.3s (34.7%)

simplify106.0ms (0.9%)

prune427.0ms (3.5%)

regimes834.0ms (6.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.3s (18.6%)

Profiling