Details

analyze71.0ms (1.7%)

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
0%	99.9%	0.1%	3
0%	74.9%	25.1%	4
12.5%	62.4%	25.1%	5
31.2%	31.2%	37.6%	6
37.5%	25%	37.6%	7
40.6%	15.6%	43.8%	8
42.9%	11.7%	45.4%	9
44.1%	7.4%	48.5%	10
45.1%	5.7%	49.3%	11
45.6%	3.6%	50.8%	12
46%	2.8%	51.2%	13
46.2%	1.8%	52%	14

Compiler

Compiled 17 to 14 computations (17.6% saved)

sample1.2s (27.7%)

Results

1.0s	8256×	body	128	valid
22.0ms	218×	body	128	invalid

Compiler

Compiled 50 to 41 computations (18% saved)

simplify181.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1205×	`fma-neg_binary64`
900×	`fma-def_binary64`
326×	`associate-/l*_binary64`
318×	`cancel-sign-sub-inv_binary64`
290×	`distribute-rgt-neg-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	28	18
2	68	18
3	145	16
4	257	16
5	411	16
6	861	16
7	1371	16
8	2386	16
9	2493	16
10	2675	16
11	2607	16
12	2581	16
13	2581	16
14	3531	16
15	3364	16
16	3364	16
17	3364	16
18	3364	16
19	3171	16

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))

Compiler

Compiled 85 to 66 computations (22.4% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 y (/.f64 1 (*.f64 x 9)))
✓	0.2b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
✓	0.3b	(/.f64 1 (*.f64 x 9))
✓	0.3b	(*.f64 3 (sqrt.f64 x))

series43.0ms (1%)

Counts

4 → 48

Calls

4 calls:

27.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
10.0ms	(*.f64 3 (sqrt.f64 x))
4.0ms	(+.f64 y (/.f64 1 (*.f64 x 9)))
1.0ms	(/.f64 1 (*.f64 x 9))

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
37×	`add-sqr-sqrt_binary64`
30×	`prod-diff_binary64`
29×	`add-cube-cbrt_binary64`
22×	`add-exp-log_binary64`

Counts

4 → 140

Calls

4 calls:

12.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
4.0ms	(+.f64 y (/.f64 1 (*.f64 x 9)))
3.0ms	(*.f64 3 (sqrt.f64 x))
3.0ms	(/.f64 1 (*.f64 x 9))

simplify77.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

625×	`times-frac_binary64`
456×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
305×	`fma-def_binary64`
289×	`associate-/l*_binary64`

Counts

188 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2841
1	412	2251
2	1241	2225
3	5098	2225

prune206.0ms (4.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	160	11	171
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	161	12	173

Error

0.0b

Counts

173 → 12

Alt Table

Status	Error	Program
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 3 (sqrt.f64 x)))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	34.5b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1)) (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	19.9b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
▶	0.3b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
	1.0b	(.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)) (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1)))
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	23.9b	(.f64 (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y))))
	0.5b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))

Compiler

Compiled 4517 to 3406 computations (24.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 y (/.f64 (/.f64 1 x) 9))
✓	0.2b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
✓	0.3b	(/.f64 (/.f64 1 x) 9)
	0.3b	(*.f64 3 (sqrt.f64 x))

series33.0ms (0.8%)

Counts

3 → 48

Calls

3 calls:

27.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
4.0ms	(+.f64 y (/.f64 (/.f64 1 x) 9))
2.0ms	(/.f64 (/.f64 1 x) 9)

rewrite45.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`*-un-lft-identity_binary64`
75×	`times-frac_binary64`
67×	`add-sqr-sqrt_binary64`
63×	`add-cube-cbrt_binary64`
24×	`prod-diff_binary64`

Counts

3 → 152

Calls

3 calls:

16.0ms	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
13.0ms	(+.f64 y (/.f64 (/.f64 1 x) 9))
6.0ms	(/.f64 (/.f64 1 x) 9)

simplify114.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

453×	`distribute-rgt-in_binary64`
419×	`distribute-lft-in_binary64`
385×	`fma-neg_binary64`
285×	`times-frac_binary64`
246×	`fma-def_binary64`

Counts

200 → 206

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	198	3221
1	465	2612
2	1224	2583
3	4696	2583
4	4952	2583

prune285.0ms (6.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	228	3	231
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	231	12	243

Error

0.0b

Counts

243 → 12

Alt Table

Status	Error	Program
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	1.0b	(.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)) (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1)))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
▶	0.4b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 3 (sqrt.f64 x)))
	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	23.9b	(.f64 (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	0.5b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (.f64 (/.f64 (/.f64 1 (sqrt.f64 x)) (.f64 (cbrt.f64 9) (cbrt.f64 9))) (/.f64 (/.f64 1 (sqrt.f64 x)) (cbrt.f64 9)))) 1))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	19.9b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	19.8b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 3 (sqrt.f64 x))) (.f64 3 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) 1) y))))
	0.5b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))

Compiler

Compiled 5980 to 4460 computations (25.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 y (sqrt.f64 x))
✓	0.3b	(.f64 3 (.f64 y (sqrt.f64 x)))
	0.3b	(*.f64 3 (sqrt.f64 x))
✓	0.4b	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))

series31.0ms (0.7%)

Counts

3 → 0

Calls

3 calls:

14.0ms	(.f64 3 (.f64 y (sqrt.f64 x)))
10.0ms	(*.f64 y (sqrt.f64 x))
7.0ms	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))

rewrite20.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
23×	`associate-r_binary64`
20×	`sqrt-prod_binary64`
17×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`

Counts

3 → 81

Calls

3 calls:

6.0ms	(.f64 3 (.f64 y (sqrt.f64 x)))
6.0ms	(*.f64 1/3 (sqrt.f64 (/.f64 1 x)))
3.0ms	(*.f64 y (sqrt.f64 x))

simplify107.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

923×	`fma-def_binary64`
458×	`unswap-sqr_binary64`
457×	`associate-l_binary64`
344×	`*-commutative_binary64`
324×	`associate-/r*_binary64`

Counts

81 → 114

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	112	894
1	200	843
2	485	842
3	1076	842
4	1485	842
5	2218	801
6	2929	801
7	3312	801
8	4823	801
9	4913	801

prune208.0ms (5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	140	11	151

Error

0.0b

Counts

151 → 11

Alt Table

Status	Error	Program
	0.9b	(.f64 (.f64 (.f64 3 (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	1.0b	(.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)) (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1)))
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	0.5b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 (.f64 3 (sqrt.f64 x))) (cbrt.f64 (.f64 3 (sqrt.f64 x)))) (cbrt.f64 (.f64 3 (sqrt.f64 x)))))
▶	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	23.9b	(.f64 (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))) (sqrt.f64 (.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))))
	0.5b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (.f64 (/.f64 (/.f64 1 (sqrt.f64 x)) (.f64 (cbrt.f64 9) (cbrt.f64 9))) (/.f64 (/.f64 1 (sqrt.f64 x)) (cbrt.f64 9)))) 1))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	19.9b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 3) 3) (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	19.8b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 3 (sqrt.f64 x))) (.f64 3 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
	0.5b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))

Compiler

Compiled 3831 to 2479 computations (35.3% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 y (/.f64 1/9 x))
✓	0.2b	(fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3)
✓	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
✓	0.4b	(/.f64 1/9 x)

series37.0ms (0.9%)

Counts

4 → 60

Calls

4 calls:

23.0ms	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
6.0ms	(fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3)
6.0ms	(+.f64 y (/.f64 1/9 x))
2.0ms	(/.f64 1/9 x)

rewrite13.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
8×	`add-cbrt-cube_binary64`

Counts

4 → 82

Calls

4 calls:

4.0ms	(+.f64 y (/.f64 1/9 x))
3.0ms	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
2.0ms	(/.f64 1/9 x)
0.0ms	(fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3)

simplify88.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

558×	`associate-/l*_binary64`
373×	`fma-neg_binary64`
355×	`associate-/l/_binary64`
311×	`associate-/r*_binary64`
275×	`associate-l_binary64`

Counts

142 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	138	1789
1	283	1627
2	757	1625
3	2493	1625
4	4739	1625
5	4915	1625

prune134.0ms (3.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	128	3	131
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	131	11	142

Error

Counts

142 → 11

Alt Table

Status	Error	Program
	0.7b	(.f64 (.f64 (.f64 3 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (.f64 x 9))) 1))
	0.5b	(-.f64 (+.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 1/3 (sqrt.f64 (/.f64 1 x)))) (.f64 (.f64 (cbrt.f64 (.f64 3 (sqrt.f64 x))) (cbrt.f64 (.f64 3 (sqrt.f64 x)))) (cbrt.f64 (.f64 3 (sqrt.f64 x)))))
✓	0.4b	(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))
	36.1b	(.f64 (sqrt.f64 x) (cbrt.f64 (.f64 (*.f64 (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3)) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3))))
	0.9b	(.f64 (.f64 (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x))) (.f64 (sqrt.f64 3) (sqrt.f64 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
	1.0b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (sqrt.f64 (cbrt.f64 x)) (fma.f64 3 (+.f64 y (/.f64 1/9 x)) -3)))
	0.6b	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (-.f64 (fma.f64 3 y (/.f64 1/3 x)) 3) (sqrt.f64 (sqrt.f64 x))))
	1.0b	(.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)) (cbrt.f64 (+.f64 (-.f64 (/.f64 1/9 x) 1) y)))) (cbrt.f64 (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1)))
	19.8b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 3 (sqrt.f64 x)) (.f64 3 (sqrt.f64 x))) (.f64 3 (sqrt.f64 x)))) (-.f64 (+.f64 y (/.f64 (/.f64 1 x) 9)) 1))
	0.5b	(.f64 (.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (.f64 (/.f64 (/.f64 1 (sqrt.f64 x)) (.f64 (cbrt.f64 9) (cbrt.f64 9))) (/.f64 (/.f64 1 (sqrt.f64 x)) (cbrt.f64 9)))) 1))
	0.5b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (sqrt.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))

Compiler

Compiled 2441 to 1650 computations (32.4% saved)

regimes1.1s (25.2%)

Accuracy

Total 0.4b remaining (93.9%)

Threshold costs 0.4b (93.9%)

Counts

264 → 1

Compiler

Compiled 17381 to 13592 computations (21.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	16	19
2	15	19

end214.0ms (5.1%)

Compiler: Compiled 307 to 234 computations (23.8% saved)

Details

analyze71.0ms (1.7%)

sample1.2s (27.7%)

simplify181.0ms (4.3%)

prune4.0ms (0.1%)

localize8.0ms (0.2%)

series43.0ms (1%)

rewrite31.0ms (0.7%)

simplify77.0ms (1.8%)

prune206.0ms (4.9%)

localize8.0ms (0.2%)

series33.0ms (0.8%)

rewrite45.0ms (1.1%)

simplify114.0ms (2.7%)

prune285.0ms (6.8%)

localize10.0ms (0.2%)

series31.0ms (0.7%)

rewrite20.0ms (0.5%)

simplify107.0ms (2.6%)

prune208.0ms (5%)

localize7.0ms (0.2%)

series37.0ms (0.9%)

rewrite13.0ms (0.3%)

simplify88.0ms (2.1%)

prune134.0ms (3.2%)

regimes1.1s (25.2%)

simplify2.0ms (0%)

end214.0ms (5.1%)

Profiling