Details

analyze1.5s (13.2%)

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%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

Compiler

Compiled 33 to 25 computations (24.2% saved)

sample2.7s (23.9%)

Results

1.6s	8256×	body	128	valid
1.1s	4847×	body	128	invalid

Compiler

Compiled 98 to 74 computations (24.5% saved)

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

721×	`fma-neg_binary64`
464×	`div-sub_binary64`
380×	`associate-l_binary64`
365×	`associate-r_binary64`
276×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	59	43
2	163	37
3	607	35
4	2744	33
5	4748	33
6	4938	33

prune5.0ms (0%)

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

8.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	8.4b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	14.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Status

Error

Program

▶

8.4b

(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))

14.1b

(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Compiler

Compiled 171 to 121 computations (29.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
✓	0.7b	(/.f64 2 (*.f64 r r))
✓	3.1b	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
✓	8.1b	(.f64 r (.f64 w w))

series147.0ms (1.3%)

Counts

4 → 108

Calls

4 calls:

81.0ms	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
54.0ms	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
10.0ms	(.f64 r (.f64 w w))
2.0ms	(/.f64 2 (*.f64 r r))

rewrite77.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

324×	`log1p-udef_binary64`
186×	`add-sqr-sqrt_binary64`
177×	`log1p-expm1-u_binary64`
177×	`expm1-log1p-u_binary64`
176×	`add-log-exp_binary64`

Counts

4 → 85

Calls

4 calls:

75.0ms	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
75.0ms	(/.f64 2 (*.f64 r r))
75.0ms	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
75.0ms	(.f64 r (.f64 w w))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	58
1	386	58
2	4540	58
3	5269	58
0	0	0
1	0	0

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

716×	`fma-def_binary64`
627×	`associate-l_binary64`
497×	`associate-r_binary64`
314×	`associate-/l*_binary64`
248×	`times-frac_binary64`

Counts

193 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	2804
1	335	2526
2	1161	1968
3	5240	1968

prune202.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	119	11	130
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	120	12	132

Error

2.9b

Counts

132 → 12

Alt Table

Status	Error	Program
	34.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	15.6b	(-.f64 (/.f64 2 (.f64 r r)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
▶	8.3b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	18.8b	(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
	19.4b	(-.f64 (/.f64 2 (.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
	17.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	8.7b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
	11.0b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (/.f64 (.f64 (.f64 r (.f64 w w)) (fma.f64 v -1/4 3/8)) (pow.f64 (cbrt.f64 (-.f64 1 v)) 2)) (cbrt.f64 (-.f64 1 v))) 3/2))
	10.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (.f64 (.f64 r (.f64 w w)) (fma.f64 v -1/4 3/8)) (-.f64 1 v)) 3/2))
	9.2b	(-.f64 (/.f64 2 (.f64 r r)) (.f64 (cbrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) (pow.f64 (cbrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2)))
	14.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
	12.9b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (fma.f64 v -1/4 3/8))) 3/2))

Compiler

Compiled 4305 to 2612 computations (39.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (pow.f64 r -2))
	0.1b	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
	3.1b	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
	8.1b	(.f64 r (.f64 w w))

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f64 2 (pow.f64 r -2))

rewrite73.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

870×	`log1p-udef_binary64`
466×	`log1p-expm1-u_binary64`
466×	`expm1-log1p-u_binary64`
318×	`unpow-prod-down_binary64`
238×	`log-prod_binary64`

Counts

1 → 18

Calls

1 calls:

72.0ms

(*.f64 2 (pow.f64 r -2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1243	7
3	4818	7
4	6170	7
0	0	0
1	0	0

simplify138.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

30 → 20

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	10	84
2	18	84
3	33	84
4	69	84
5	165	84
6	490	84
7	1147	84
8	1149	84
9	1297	84
10	1467	84
11	1646	84
12	1871	84
13	2156	84
14	2575	84
15	3140	84
16	3826	84
17	4044	84
18	4288	84
19	4370	84
20	4403	84
21	4424	84
22	4992	84

prune218.0ms (1.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	120	5	125
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	126	11	137

Error

2.9b

Counts

137 → 11

Alt Table

Status	Error	Program
	34.1b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	8.7b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
	14.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
	18.7b	(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
	12.9b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (fma.f64 v -1/4 3/8))) 3/2))
	15.6b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
	9.1b	(-.f64 (.f64 2 (pow.f64 r -2)) (pow.f64 (cbrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 3))
	19.4b	(-.f64 (/.f64 2 (.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
	17.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	10.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (.f64 (.f64 r (.f64 w w)) (fma.f64 v -1/4 3/8)) (-.f64 1 v)) 3/2))
▶	8.5b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))

Compiler

Compiled 4089 to 2730 computations (33.2% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)
✓	3.1b	(fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)
	8.1b	(.f64 r (.f64 w w))
✓	24.0b	(cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

series4.2s (36.6%)

Counts

3 → 108

Calls

3 calls:

1.6s

(fma.f64 r (pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)

1.4s

(pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)

1.2s

(cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

rewrite74.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`log1p-udef_binary64`
172×	`add-sqr-sqrt_binary64`
165×	`log1p-expm1-u_binary64`
165×	`expm1-log1p-u_binary64`
163×	`add-cbrt-cube_binary64`

Counts

3 → 109

Calls

3 calls:

72.0ms

(pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)

71.0ms

(fma.f64 r (pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)

71.0ms

(cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	66
1	364	66
2	4205	66
3	4847	66
0	0	0
1	0	0

simplify127.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

494×	`times-frac_binary64`
478×	`fma-neg_binary64`
384×	`cancel-sign-sub-inv_binary64`
239×	`distribute-rgt-out_binary64`
217×	`associate-r_binary64`

Counts

217 → 192

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	4840
1	620	3943
2	2152	3536
3	4664	3426
4	4977	3426

prune330.0ms (2.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	206	3	209
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	210	10	220

Error

1.2b

Counts

220 → 10

Alt Table

Status	Error	Program
	12.8b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 (.f64 r (.f64 r (.f64 w w))) (cbrt.f64 1/64) 3/2))
	8.7b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
	14.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
	18.7b	(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
	12.9b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (fma.f64 v -1/4 3/8))) 3/2))
	15.6b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
	51.1b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (pow.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 2 (log.f64 w)) (log.f64 (/.f64 (.f64 r (-.f64 3/8 (.f64 1/4 v))) (-.f64 1 v)))))) 2) (.f64 r (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (.f64 r (-.f64 3/8 (.f64 1/4 v))) (-.f64 1 v))) (*.f64 2 (log.f64 w)))))))))
	17.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	10.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (.f64 (.f64 r (.f64 w w)) (fma.f64 v -1/4 3/8)) (-.f64 1 v)) 3/2))
▶	3.4b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (.f64 r w) (.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))

Compiler

Compiled 7388 to 5124 computations (30.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
	0.0b	(*.f64 2 (pow.f64 r -2))
✓	0.2b	(.f64 (.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))
✓	3.1b	(fma.f64 r (.f64 (.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)

series114.0ms (1%)

Counts

3 → 96

Calls

3 calls:

58.0ms

(fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)

42.0ms

(*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

13.0ms

(*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))

rewrite75.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

279×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
157×	`add-sqr-sqrt_binary64`
150×	`prod-diff_binary64`
147×	`log1p-expm1-u_binary64`

Counts

3 → 68

Calls

3 calls:

73.0ms

(*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))

73.0ms

(*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

73.0ms

(fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	58
1	318	57
2	3880	57
3	4918	57
0	0	0
1	0	0

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

905×	`fma-def_binary64`
671×	`associate-l_binary64`
343×	`associate-/l*_binary64`
277×	`times-frac_binary64`
192×	`distribute-rgt-out_binary64`

Counts

164 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	2953
1	422	2662
2	1417	2057
3	5389	2057

prune263.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	6	3	9
Picked	0	1	1
Done	0	0	0
Total	149	7	156

Error

0.0b

Counts

156 → 7

Alt Table

Status	Error	Program
	0.1b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
	12.7b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 1/4 (.f64 (.f64 w w) r)) 3/2))
	0.4b	(-.f64 (.f64 2 (pow.f64 r -2)) (pow.f64 (sqrt.f64 (+.f64 3/2 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 2))
	12.8b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 (.f64 r (.f64 r (.f64 w w))) (cbrt.f64 1/64) 3/2))
✓	3.4b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (.f64 r w) (.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
	14.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
	12.9b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (fma.f64 v -1/4 3/8))) 3/2))

Compiler

Compiled 4177 to 2883 computations (31% saved)

regimes755.0ms (6.6%)

Accuracy

Total 0.2b remaining (78.2%)

Threshold costs 0.2b (78.2%)

Counts

104 → 1

Compiler

Compiled 18025 to 13275 computations (26.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
9×	`*-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	32
1	30	32
2	42	32
3	55	32
4	65	32
5	72	32
6	76	32
7	77	32
8	75	32

end142.0ms (1.2%)

Compiler: Compiled 226 to 173 computations (23.5% saved)

Details

analyze1.5s (13.2%)

sample2.7s (23.9%)

simplify42.0ms (0.4%)

prune5.0ms (0%)

localize14.0ms (0.1%)

series147.0ms (1.3%)

rewrite77.0ms (0.7%)

simplify90.0ms (0.8%)

prune202.0ms (1.8%)

localize15.0ms (0.1%)

series3.0ms (0%)

rewrite73.0ms (0.6%)

simplify138.0ms (1.2%)

prune218.0ms (1.9%)

localize17.0ms (0.2%)

series4.2s (36.6%)

rewrite74.0ms (0.6%)

simplify127.0ms (1.1%)

prune330.0ms (2.9%)

localize14.0ms (0.1%)

series114.0ms (1%)

rewrite75.0ms (0.7%)

simplify66.0ms (0.6%)

prune263.0ms (2.3%)

regimes755.0ms (6.6%)

simplify4.0ms (0%)

end142.0ms (1.2%)

Profiling