Details

analyze472.0ms (9.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1237	52
1	1237	52
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
43.3%	48%	8.7%	10
49.7%	40.8%	9.5%	11
55.7%	34%	10.3%	12
61.3%	23.7%	15%	13
65%	19.8%	15.3%	14

Symmetry

Compiler

Compiled 10 to 9 computations (10% saved)

sample17.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	22×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify39.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	549	13
1	549	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

0.2b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite74.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`pow1_binary64_24009` `add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984` `add-sqr-sqrt_binary64_23970`
8×	`*-un-lft-identity_binary64_23948`
6×	`add-cube-cbrt_binary64_23983` `associate-l/_binary64_23891` `associate-l_binary64_23889` `associate-r*_binary64_23888`
5×	`add-log-exp_binary64_23987`
4×	`pow-prod-down_binary64_24019` `prod-exp_binary64_23997` `cbrt-unprod_binary64_23981`
2×	`flip3--_binary64_23952` `flip--_binary64_23923` `*-commutative_binary64_23879`
1×	`unswap-sqr_binary64_23916` `difference-of-squares_binary64_23917` `distribute-lft-out--_binary64_23900` `sum-log_binary64_24039` `flip3-+_binary64_23951` `flip-+_binary64_23922` `+-commutative_binary64_23878`

Counts

3 → 53

Calls

3 calls:

8.0ms	(.f64 (.f64 (-.f64 y x) 6) z)
7.0ms	(*.f64 (-.f64 y x) 6)
3.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Compiler

Compiled 872 to 443 computations (49.2% saved)

series426.0ms (8.8%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

195.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
128.0ms	(.f64 (.f64 (-.f64 y x) 6) z)
70.0ms	(*.f64 (-.f64 y x) 6)

Compiler

Compiled 1156 to 881 computations (23.8% saved)

simplify71.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5461	1073

prune77.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	5	99

Error

0.0b

Counts

99 → 5

Compiler

Compiled 1171 to 557 computations (52.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite39.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_24009` `add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
5×	`add-sqr-sqrt_binary64_23970` `-un-lft-identity_binary64_23948` `associate-l*_binary64_23889`
4×	`add-log-exp_binary64_23987`
3×	`pow-prod-down_binary64_24019` `prod-exp_binary64_23997` `add-cube-cbrt_binary64_23983` `cbrt-unprod_binary64_23981`
2×	`associate-*l/_binary64_23891`
1×	`flip3--_binary64_23952` `flip--_binary64_23923` `difference-of-squares_binary64_23917` `distribute-lft-out--_binary64_23900` `associate-r_binary64_23888` `*-commutative_binary64_23879` `sum-log_binary64_24039` `flip3-+_binary64_23951` `flip-+_binary64_23922` `+-commutative_binary64_23878`

Counts

2 → 33

Calls

2 calls:

8.0ms	(.f64 (-.f64 y x) (.f64 z 6))
4.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 z 6)))

Compiler

Compiled 570 to 293 computations (48.6% saved)

series335.0ms (6.9%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

189.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 z 6)))
129.0ms	(.f64 (-.f64 y x) (.f64 z 6))

Compiler

Compiled 874 to 653 computations (25.3% saved)

simplify69.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4986	813
1	4986	813

prune44.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	65	6	71

Error

0.0b

Counts

71 → 6

Compiler

Compiled 809 to 371 computations (54.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite97.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`distribute-rgt-in_binary64_23898` `distribute-lft-in_binary64_23897`
30×	`cancel-sign-sub-inv_binary64_23914`
20×	`add-sqr-sqrt_binary64_23970`
18×	`*-un-lft-identity_binary64_23948`
16×	`add-cube-cbrt_binary64_23983` `associate-+r+_binary64_23880`
10×	`pow1_binary64_24009` `add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984` `sub-neg_binary64_23941`
6×	`associate-r/_binary64_23890` `associate-l_binary64_23889` `associate-r*_binary64_23888`
5×	`add-log-exp_binary64_23987`
4×	`pow-prod-down_binary64_24019` `prod-exp_binary64_23997` `cbrt-unprod_binary64_23981`
2×	`flip3--_binary64_23952` `flip--_binary64_23923` `*-commutative_binary64_23879`
1×	`unswap-sqr_binary64_23916` `difference-of-squares_binary64_23917` `distribute-lft-out--_binary64_23900` `sum-log_binary64_24039` `flip3-+_binary64_23951` `flip-+_binary64_23922` `+-commutative_binary64_23878`

Counts

3 → 93

Calls

3 calls:

9.0ms	(.f64 -6 (.f64 z (-.f64 x y)))
7.0ms	(*.f64 z (-.f64 x y))
6.0ms	(+.f64 x (.f64 -6 (.f64 z (-.f64 x y))))

Compiler

Compiled 1546 to 646 computations (58.2% saved)

series447.0ms (9.2%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

188.0ms	(+.f64 x (.f64 -6 (.f64 z (-.f64 x y))))
135.0ms	(.f64 -6 (.f64 z (-.f64 x y)))
98.0ms	(*.f64 z (-.f64 x y))

Compiler

Compiled 1249 to 909 computations (27.2% saved)

simplify58.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4980	1556
1	4980	1556

prune91.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	141	6	147

Error

0.0b

Counts

147 → 6

Compiler

Compiled 1783 to 755 computations (57.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))

rewrite132.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

43×	`cbrt-prod_binary64_23979`
37×	`add-sqr-sqrt_binary64_23970`
35×	`*-un-lft-identity_binary64_23948`
18×	`cbrt-div_binary64_23980`
15×	`add-cube-cbrt_binary64_23983`
11×	`pow1_binary64_24009`
10×	`swap-sqr_binary64_23915`
9×	`pow1/3_binary64_24030` `flip3--_binary64_23952` `flip--_binary64_23923` `distribute-lft-out--_binary64_23900`
8×	`associate-l_binary64_23889` `associate-r_binary64_23888`
7×	`difference-of-squares_binary64_23917`
6×	`add-exp-log_binary64_23986`
4×	`add-log-exp_binary64_23987` `add-cbrt-cube_binary64_23984` `frac-times_binary64_23958` `unswap-sqr_binary64_23916`
2×	`pow-prod-down_binary64_24019` `pow-prod-up_binary64_24018` `pow-sqr_binary64_23921` `associate-l/_binary64_23891` `associate-r/_binary64_23890`
1×	`pow2_binary64_24029` `pow-plus_binary64_24011` `prod-exp_binary64_23997` `cbrt-unprod_binary64_23981` `*-commutative_binary64_23879`

Counts

4 → 101

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))

Compiler

Compiled 2826 to 811 computations (71.3% saved)

series516.0ms (10.7%)

Error

0.0b

Counts

4 → 45

Calls

4 calls:

163.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
101.0ms	(cbrt.f64 (-.f64 y x))
100.0ms	(cbrt.f64 (-.f64 y x))
100.0ms	(cbrt.f64 (-.f64 y x))

Compiler

Compiled 3561 to 2579 computations (27.6% saved)

simplify101.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4929	2208
1	4929	2208

prune144.0ms (3%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	144	8	152

Error

Counts

152 → 8

Compiler

Compiled 3706 to 1362 computations (63.2% saved)

regimes311.0ms (6.4%)

Accuracy

Total 0.2b remaining (98.6%)

Threshold costs 0.2b (98.6%)

Compiler

Compiled 3128 to 2282 computations (27% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

Removed

()

end0.0ms (0%)

sample1.2s (25.7%)

Algorithm

1×

intervals

Results

233.0ms	8000×	body	128	valid
15.0ms	583×	body	128	invalid

Compiler

Compiled 804 to 590 computations (26.6% saved)

Details

analyze472.0ms (9.8%)

sample17.0ms (0.4%)

simplify39.0ms (0.8%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

rewrite74.0ms (1.5%)

series426.0ms (8.8%)

simplify71.0ms (1.5%)

prune77.0ms (1.6%)

localize6.0ms (0.1%)

rewrite39.0ms (0.8%)

series335.0ms (6.9%)

simplify69.0ms (1.4%)

prune44.0ms (0.9%)

localize6.0ms (0.1%)

rewrite97.0ms (2%)

series447.0ms (9.2%)

simplify58.0ms (1.2%)

prune91.0ms (1.9%)

localize10.0ms (0.2%)

rewrite132.0ms (2.7%)

series516.0ms (10.7%)

simplify101.0ms (2.1%)

prune144.0ms (3%)

regimes311.0ms (6.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.2s (25.7%)

Profiling