Details

analyze47.0ms (0.9%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample790.0ms (14.6%)

Results

703.0ms	8256×	body	128	valid
8.0ms	105×	body	128	invalid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify68.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

664×	`unswap-sqr_binary64`
640×	`fma-def_binary64`
463×	`associate-/l*_binary64`
362×	`exp-prod_binary64`
312×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	41	9
4	85	9
5	193	9
6	434	9
7	1080	9
8	2926	9
9	3322	9
10	4145	9
11	4931	9
12	5147	9

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(exp.f64 (.f64 (.f64 x y) y))

Compiler

Compiled 30 to 17 computations (43.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (.f64 (.f64 x y) y))
✓	0.2b	(.f64 (.f64 x y) y)

series14.0ms (0.3%)

Counts

2 → 48

Calls

2 calls:

8.0ms	(.f64 (.f64 x y) y)
6.0ms	(exp.f64 (.f64 (.f64 x y) y))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64`

Counts

2 → 32

Calls

2 calls:

3.0ms	(.f64 (.f64 x y) y)
1.0ms	(exp.f64 (.f64 (.f64 x y) y))

simplify50.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-def_binary64`
721×	`distribute-rgt-in_binary64`
707×	`distribute-lft-in_binary64`
508×	`unswap-sqr_binary64`
212×	`*-commutative_binary64`

Counts

80 → 58

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	68	805
1	160	739
2	473	731
3	929	715
4	2071	706
5	5240	706

prune25.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	1	59

Error

0.0b

Counts

59 → 1

Alt Table

Status	Error	Program
▶	0.0b	(cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3))

Compiler

Compiled 645 to 234 computations (63.7% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3))
✓	0.0b	(pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)
✓	0.0b	(exp.f64 (.f64 (.f64 y y) x))
✓	9.3b	(.f64 (.f64 y y) x)

series98.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

58.0ms	(exp.f64 (.f64 (.f64 y y) x))
26.0ms	(pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)
8.0ms	(.f64 (.f64 y y) x)
6.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3))

rewrite14.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`add-cbrt-cube_binary64`

Counts

4 → 83

Calls

4 calls:

5.0ms	(.f64 (.f64 y y) x)
3.0ms	(pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)
2.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3))
1.0ms	(exp.f64 (.f64 (.f64 y y) x))

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

649×	`distribute-rgt-in_binary64`
638×	`distribute-lft-in_binary64`
394×	`fma-def_binary64`
274×	`unswap-sqr_binary64`
263×	`*-commutative_binary64`

Counts

179 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	2194
1	239	2072
2	767	2032
3	2243	2026
4	5446	2026

prune61.0ms (1.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	1	100

Error

0.0b

Counts

100 → 1

Alt Table

Status	Error	Program
▶	0.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)) 3))

Compiler

Compiled 1580 to 718 computations (54.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)) 3)
	0.0b	(pow.f64 (exp.f64 (.f64 (.f64 y y) x)) 3)
	0.0b	(exp.f64 (.f64 (.f64 y y) x))
	9.3b	(.f64 (.f64 y y) x)

series26.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

26.0ms

(pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 y y) x)) 3)) 3)

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-prod_binary64`
21×	`cube-prod_binary64`
21×	`unpow-prod-down_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

1 → 50

Calls

1 calls:

4.0ms

(pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 y y) x)) 3)) 3)

simplify84.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

668×	`exp-prod_binary64`
528×	`associate-l_binary64`
492×	`log-prod_binary64`
455×	`associate-r_binary64`
322×	`unswap-sqr_binary64`

Counts

74 → 54

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	88	1331
1	161	1214
2	472	1158
3	2328	1152
4	4240	1149
5	4977	1149

prune151.0ms (2.8%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	1	134

Error

0.0b

Counts

134 → 1

Alt Table

Status	Error	Program
▶	0.0b	(cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x)))) 3)) 3) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) 3)) 3)))

Status

Error

Program

▶

0.0b

(cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) 3)) 3) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) 3)) 3)))

Compiler

Compiled 2507 to 1355 computations (46% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) (cbrt.f64 (exp.f64 (.f64 (*.f64 y y) x)))) 3)
✓	0.0b	(pow.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) (cbrt.f64 (exp.f64 (.f64 (*.f64 y y) x)))) 3)) 3)
	0.0b	(exp.f64 (.f64 (.f64 y y) x))
	9.3b	(.f64 (.f64 y y) x)

series1.7s (31.4%)

Counts

2 → 48

Calls

2 calls:

988.0ms

(pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) 3)

706.0ms

(pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) 3)) 3)

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64`
14×	`cube-prod_binary64`
14×	`unpow-prod-down_binary64`
11×	`pow1_binary64`
11×	`pow-pow_binary64`

Counts

2 → 73

Calls

2 calls:

6.0ms

(pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) 3)) 3)

4.0ms

(pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) 3)

simplify113.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

629×	`exp-prod_binary64`
566×	`fma-def_binary64`
479×	`associate-+l+_binary64`
411×	`log-prod_binary64`
371×	`sqr-pow_binary64`

Counts

121 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	1849
1	190	1673
2	562	1629
3	1181	1607
4	2798	1607
5	4427	1607
6	5112	1607

prune284.0ms (5.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	216	1	217

Error

0.0b

Counts

217 → 1

Alt Table

Status	Error	Program
	0.0b	(cbrt.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) 3)) 3) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) 3)) 3)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 y y) x))) 3)) 3)))

Status

Error

Program

0.0b

(cbrt.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) 3)) 3) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) 3)) 3)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 (*.f64 y y) x))) 3)) 3)))

Compiler

Compiled 8574 to 3418 computations (60.1% saved)

regimes1.6s (30%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

263 → 1

Compiler

Compiled 28794 to 18540 computations (35.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	63
1	16	63
2	16	63

end117.0ms (2.2%)

Compiler: Compiled 123 to 72 computations (41.5% saved)

Details

analyze47.0ms (0.9%)

sample790.0ms (14.6%)

simplify68.0ms (1.3%)

prune2.0ms (0%)

localize4.0ms (0.1%)

series14.0ms (0.3%)

rewrite6.0ms (0.1%)

simplify50.0ms (0.9%)

prune25.0ms (0.5%)

localize6.0ms (0.1%)

series98.0ms (1.8%)

rewrite14.0ms (0.3%)

simplify77.0ms (1.4%)

prune61.0ms (1.1%)

localize9.0ms (0.2%)

series26.0ms (0.5%)

rewrite8.0ms (0.2%)

simplify84.0ms (1.6%)

prune151.0ms (2.8%)

localize15.0ms (0.3%)

series1.7s (31.4%)

rewrite15.0ms (0.3%)

simplify113.0ms (2.1%)

prune284.0ms (5.3%)

regimes1.6s (30%)

simplify3.0ms (0%)

end117.0ms (2.2%)

Profiling