Details

analyze381.0ms (7.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample1.5s (28.4%)

Alt Table

Status	Error	Program
▶	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Results

1.2s	7924×	body	128	valid
134.0ms	956×	body	128	invalid
85.0ms	332×	body	256	valid

Compiler

Compiled 146 to 104 computations (28.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.3b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	28.3b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series145.0ms (2.8%)

Counts

4 → 100

Calls

4 calls:

81.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
49.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
9.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
5.0ms	(.f64 (.f64 3 a) c)

rewrite106.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

725×	`fma-def_binary64`
366×	`fma-neg_binary64`
285×	`egg-rr`
248×	`expm1-udef_binary64`
248×	`log1p-udef_binary64`

Counts

4 → 285

Calls

4 calls:

98.0ms	(.f64 (.f64 3 a) c)
98.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
98.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
98.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	66
1	297	56
2	3769	56
3	5480	56
0	0	0
1	0	0

prune230.0ms (4.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	377	8	385
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	378	8	386

Error

0.6b

Counts

386 → 8

Alt Table

Status	Error	Program
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	27.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
▶	6.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	6.3b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	7.7b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (*.f64 3 a))
	28.4b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (/.f64 1 (.f64 a -3)))
	28.8b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 11118 to 6175 computations (44.5% saved)

localize32.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 c 4) (pow.f64 a 3))
✓	0.4b	(*.f64 (pow.f64 c 3) (pow.f64 a 2))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))

series323.0ms (6.2%)

Counts

4 → 0

Calls

4 calls:

153.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))
136.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 3))
15.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 2))

rewrite82.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

318×	`log1p-udef_binary64`
187×	`log1p-expm1-u_binary64`
187×	`expm1-log1p-u_binary64`
186×	`add-sqr-sqrt_binary64`
179×	`add-log-exp_binary64`

Counts

4 → 116

Calls

4 calls:

79.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 3))
79.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 2))
79.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))
79.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	52
1	417	52
2	4553	52
3	5101	52
0	0	0
1	0	0

prune251.0ms (4.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	115	9	124

Error

0.5b

Counts

124 → 9

Alt Table

Status	Error	Program
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	27.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
✓	6.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
▶	6.3b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	7.7b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (*.f64 3 a))
	8.1b	(neg.f64 (+.f64 (.f64 9/16 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (.f64 1/2 (/.f64 c b))))))
	28.4b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (/.f64 1 (.f64 a -3)))
	28.8b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 6390 to 4651 computations (27.2% saved)

localize35.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 3/2 (/.f64 (.f64 c a) b))
✓	0.3b	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
✓	0.4b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))

series286.0ms (5.5%)

Counts

4 → 36

Calls

4 calls:

109.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
84.0ms	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
78.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
14.0ms	(.f64 3/2 (/.f64 (.f64 c a) b))

rewrite76.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

422×	`log1p-expm1-u_binary64`
422×	`expm1-log1p-u_binary64`
398×	`add-log-exp_binary64`
386×	`pow1_binary64`
133×	`unpow-prod-down_binary64`

Counts

4 → 65

Calls

4 calls:

74.0ms	(.f64 3/2 (/.f64 (.f64 c a) b))
74.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
74.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
74.0ms	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	102
1	922	102
2	4985	102
3	4930	102
0	0	0
1	0	0

prune195.0ms (3.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	96	14	110

Error

0.5b

Counts

110 → 14

Alt Table

Status	Error	Program
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	6.3b	(.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (/.f64 1 (*.f64 a 3)))
▶	6.3b	(pow.f64 (/.f64 (.f64 a 3) (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))))))) -1)
	8.1b	(neg.f64 (+.f64 (.f64 9/16 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (.f64 1/2 (/.f64 c b))))))
	28.4b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (/.f64 1 (.f64 a -3)))
	7.0b	(pow.f64 (cbrt.f64 (/.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (.f64 a 3))) 3)
	27.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	7.5b	(/.f64 (neg.f64 (+.f64 (exp.f64 (log.f64 (.f64 3/2 (/.f64 (.f64 c a) b)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
✓	6.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	6.5b	(/.f64 (neg.f64 (+.f64 (cbrt.f64 (.f64 27/8 (pow.f64 (/.f64 (.f64 c a) b) 3))) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	8.0b	(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 27/8 (pow.f64 (/.f64 (.f64 c a) b) 3)) 1/3) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	6.4b	(cbrt.f64 (pow.f64 (/.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (.f64 a 3)) 3))
	28.8b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 5773 to 4065 computations (29.6% saved)

localize29.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))
✓	0.5b	(pow.f64 (*.f64 c a) 2)
✓	0.7b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)

series147.0ms (2.8%)

Counts

4 → 108

Calls

4 calls:

109.0ms	(/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))
17.0ms	(pow.f64 (*.f64 c a) 4)
13.0ms	(pow.f64 (*.f64 c a) 3)
7.0ms	(pow.f64 (*.f64 c a) 2)

rewrite65.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

622×	`log-prod_binary64`
226×	`expm1-udef_binary64`
226×	`log1p-udef_binary64`
208×	`log-pow_binary64`
138×	`log1p-expm1-u_binary64`

Counts

4 → 129

Calls

4 calls:

62.0ms	(/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))
62.0ms	(pow.f64 (*.f64 c a) 2)
62.0ms	(pow.f64 (*.f64 c a) 3)
62.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	307	34
2	3083	34
3	5095	34
0	0	0
1	0	0

prune435.0ms (8.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	237	14	251

Error

0.5b

Counts

251 → 14

Alt Table

Status	Error	Program
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	6.3b	(.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (/.f64 1 (*.f64 a 3)))
✓	6.3b	(pow.f64 (/.f64 (.f64 a 3) (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))))))) -1)
	8.1b	(neg.f64 (+.f64 (.f64 9/16 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (.f64 1/2 (/.f64 c b))))))
	28.4b	(.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (/.f64 1 (.f64 a -3)))
	7.0b	(pow.f64 (cbrt.f64 (/.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (.f64 a 3))) 3)
	27.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	7.5b	(/.f64 (neg.f64 (+.f64 (exp.f64 (log.f64 (.f64 3/2 (/.f64 (.f64 c a) b)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
✓	6.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	6.5b	(/.f64 (neg.f64 (+.f64 (cbrt.f64 (.f64 27/8 (pow.f64 (/.f64 (.f64 c a) b) 3))) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	8.0b	(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 27/8 (pow.f64 (/.f64 (.f64 c a) b) 3)) 1/3) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	6.4b	(cbrt.f64 (pow.f64 (/.f64 (neg.f64 (fma.f64 3/2 (/.f64 (.f64 c a) b) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))) (.f64 a 3)) 3))
	28.8b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 12668 to 8089 computations (36.1% saved)

regimes489.0ms (9.4%)

Accuracy

Total 4.3b remaining (85.7%)

Threshold costs 0b (0%)

Counts

53 → 2

Compiler

Compiled 9371 to 6712 computations (28.4% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

35×	`*-commutative_binary64`
32×	`+-commutative_binary64`
27×	`sub-neg_binary64`
25×	`neg-sub0_binary64`
25×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	141
1	89	137
2	128	137
3	166	137
4	213	137
5	245	137
6	270	137
7	283	137
8	288	137
9	289	137
10	284	137

end406.0ms (7.8%)

Compiler: Compiled 788 to 553 computations (29.8% saved)

Iter	Nodes	Cost
0	56	141
1	89	137
2	128	137
3	166	137
4	213	137
5	245	137
6	270	137
7	283	137
8	288	137
9	289	137
10	284	137

Iter	Nodes	Cost
0	56	141
1	89	137
2	128	137
3	166	137
4	213	137
5	245	137
6	270	137
7	283	137
8	288	137
9	289	137
10	284	137

Details

analyze381.0ms (7.3%)

sample1.5s (28.4%)

localize11.0ms (0.2%)

series145.0ms (2.8%)

rewrite106.0ms (2%)

prune230.0ms (4.4%)

localize32.0ms (0.6%)

series323.0ms (6.2%)

rewrite82.0ms (1.6%)

prune251.0ms (4.8%)

localize35.0ms (0.7%)

series286.0ms (5.5%)

rewrite76.0ms (1.5%)

prune195.0ms (3.7%)

localize29.0ms (0.6%)

series147.0ms (2.8%)

rewrite65.0ms (1.2%)

prune435.0ms (8.3%)

regimes489.0ms (9.4%)

bsearch4.0ms (0.1%)

simplify10.0ms (0.2%)

end406.0ms (7.8%)

Profiling

Iter	Nodes	Cost
0	56	141
1	89	137
2	128	137
3	166	137
4	213	137
5	245	137
6	270	137
7	283	137
8	288	137
9	289	137
10	284	137