Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample1.3s (18%)

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify25.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

689×	`distribute-rgt-in_binary64`
661×	`distribute-lft-in_binary64`
470×	`associate-l_binary64`
388×	`associate-+r+_binary64`
387×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	36	38
2	117	38
3	625	37
4	4291	37
5	4944	37

Stop Event

1×	node limit

Counts

1 → 2

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

1.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	2.6b	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 1)) 1))
▶	1.6b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))))

Status

Error

Program

2.6b

(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))

▶

1.6b

(*.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))))

Compiler

Compiled 190 to 127 computations (33.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3)))
✓	0.0b	(*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))
✓	0.1b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))))
✓	18.0b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2))))

series128.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

75.0ms	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))))
30.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2))))
16.0ms	(/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3)))
6.0ms	(*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))

rewrite42.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

201×	`add-sqr-sqrt_binary64`
197×	`log1p-expm1-u_binary64`
197×	`expm1-log1p-u_binary64`
193×	`add-cbrt-cube_binary64`
189×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	70
1	398	70

Stop Event

1×	node limit

Counts

4 → 121

Calls

4 calls:

39.0ms	(/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3)))
39.0ms	(*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))
39.0ms	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2)))))
39.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2))))

simplify93.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

812×	`fma-def_binary64`
798×	`times-frac_binary64`
289×	`+-commutative_binary64`
228×	`associate-+r+_binary64`
181×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	762	8369
1	2739	8280

Stop Event

1×	node limit

Counts

217 → 229

prune547.0ms (7.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	222	7	229
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	224	7	231

Error

0.0b

Counts

231 → 7

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))
	36.9b	(+.f64 (/.f64 1 (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (-.f64 (fma.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 2)) (/.f64 alpha (+.f64 alpha 3)) (fma.f64 256 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 6)) (/.f64 beta (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 480 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 1158 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 3))) (+.f64 (fma.f64 1220 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (/.f64 alpha (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3)))) (+.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (fma.f64 520 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 704 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 93 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 alpha 3) 3)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 2 alpha) 6))) (fma.f64 111 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (fma.f64 376 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 9 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 5) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 740 (/.f64 (/.f64 (.f64 (.f64 alpha beta) (.f64 alpha beta)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (.f64 9 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)))))))))))))))) (fma.f64 8 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 23 (/.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 18488 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 30 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 2574 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 17 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 405 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 6) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 11 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 40 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 14848 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 3 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 4096 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 8972 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 20 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 16 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 27 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 7) (pow.f64 (+.f64 alpha 3) 4))) (.f64 22464 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 4))))))))))))))))))))))))
	26.3b	(*.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 1 beta))
	1.6b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (fma.f64 alpha (+.f64 alpha (+.f64 beta 2)) (.f64 (+.f64 beta 2) (+.f64 alpha (+.f64 beta 2))))))
	0.4b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 beta 1)) 2) (+.f64 alpha (+.f64 beta 2))) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 alpha (+.f64 beta 2)))))
	2.0b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) 2) (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))))
	1.6b	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))

Compiler

Compiled 15179 to 11171 computations (26.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha))
✓	0.0b	(*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2)))
✓	0.0b	(/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2)))
✓	0.2b	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))

series110.0ms (1.6%)

Counts

4 → 96

Calls

4 calls:

73.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))
15.0ms	(/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2)))
14.0ms	(*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2)))
8.0ms	(/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha))

rewrite44.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

204×	`add-sqr-sqrt_binary64`
199×	`log1p-expm1-u_binary64`
199×	`expm1-log1p-u_binary64`
195×	`add-cbrt-cube_binary64`
191×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	85
1	402	85

Stop Event

1×	node limit

Counts

4 → 127

Calls

4 calls:

40.0ms	(/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha))
40.0ms	(*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2)))
40.0ms	(/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2)))
40.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

747×	`times-frac_binary64`
645×	`fma-def_binary64`
569×	`associate-/l*_binary64`
240×	`+-commutative_binary64`
188×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	634	7206
1	2345	7174

Stop Event

1×	node limit

Counts

223 → 233

prune597.0ms (8.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	231	2	233
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	233	7	240

Error

0.0b

Counts

240 → 7

Alt Table

Status	Error	Program
✓	0.3b	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))
	36.9b	(+.f64 (/.f64 1 (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (-.f64 (fma.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 2)) (/.f64 alpha (+.f64 alpha 3)) (fma.f64 256 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 6)) (/.f64 beta (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 480 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 1158 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 3))) (+.f64 (fma.f64 1220 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (/.f64 alpha (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3)))) (+.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (fma.f64 520 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 704 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 93 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 alpha 3) 3)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 2 alpha) 6))) (fma.f64 111 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (fma.f64 376 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 9 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 5) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 740 (/.f64 (/.f64 (.f64 (.f64 alpha beta) (.f64 alpha beta)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (.f64 9 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)))))))))))))))) (fma.f64 8 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 23 (/.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 18488 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 30 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 2574 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 17 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 405 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 6) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 11 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 40 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 14848 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 3 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 4096 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 8972 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 20 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 16 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 27 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 7) (pow.f64 (+.f64 alpha 3) 4))) (.f64 22464 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 4))))))))))))))))))))))))
	1.6b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (fma.f64 alpha (+.f64 alpha (+.f64 beta 2)) (.f64 (+.f64 beta 2) (+.f64 alpha (+.f64 beta 2))))))
	7.4b	(.f64 (/.f64 (+.f64 beta 1) 1) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (.f64 (+.f64 alpha (+.f64 beta 2)) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))))
▶	0.1b	(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))
	2.0b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) 2) (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))))
	1.6b	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))

Compiler

Compiled 14605 to 10502 computations (28.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))
✓	0.0b	(/.f64 1 (+.f64 alpha (+.f64 beta 2)))
	0.0b	(/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2)))
✓	0.1b	(/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))

series120.0ms (1.7%)

Counts

3 → 72

Calls

3 calls:

73.0ms

(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))

36.0ms

(/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))

10.0ms

(/.f64 1 (+.f64 alpha (+.f64 beta 2)))

rewrite38.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

212×	`add-sqr-sqrt_binary64`
206×	`log1p-expm1-u_binary64`
206×	`expm1-log1p-u_binary64`
202×	`add-cbrt-cube_binary64`
198×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	72
1	425	69

Stop Event

1×	node limit

Counts

3 → 96

Calls

3 calls:

36.0ms

(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))

36.0ms

(/.f64 1 (+.f64 alpha (+.f64 beta 2)))

36.0ms

(/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))

simplify113.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

772×	`fma-def_binary64`
734×	`associate-/l*_binary64`
258×	`+-commutative_binary64`
204×	`associate-+r+_binary64`
184×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	723	8040
1	2741	8000

Stop Event

1×	node limit

Counts

168 → 181

prune842.0ms (11.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	237	7	244

Error

0.0b

Counts

244 → 7

Alt Table

Status	Error	Program
✓	0.3b	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))
	36.9b	(+.f64 (/.f64 1 (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (-.f64 (fma.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 2)) (/.f64 alpha (+.f64 alpha 3)) (fma.f64 256 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 6)) (/.f64 beta (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 480 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 1158 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 3))) (+.f64 (fma.f64 1220 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (/.f64 alpha (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3)))) (+.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (fma.f64 520 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 704 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 93 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 alpha 3) 3)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 2 alpha) 6))) (fma.f64 111 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (fma.f64 376 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 9 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 5) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 740 (/.f64 (/.f64 (.f64 (.f64 alpha beta) (.f64 alpha beta)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (.f64 9 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)))))))))))))))) (fma.f64 8 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 23 (/.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 18488 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 30 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 2574 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 17 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 405 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 6) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 11 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 40 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 14848 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 3 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 4096 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 8972 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 20 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 16 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 27 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 7) (pow.f64 (+.f64 alpha 3) 4))) (.f64 22464 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 4))))))))))))))))))))))))
	1.6b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (fma.f64 alpha (+.f64 alpha (+.f64 beta 2)) (.f64 (+.f64 beta 2) (+.f64 alpha (+.f64 beta 2))))))
	7.4b	(.f64 (/.f64 (+.f64 beta 1) 1) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (.f64 (+.f64 alpha (+.f64 beta 2)) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))))
✓	0.1b	(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))
	2.0b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) 2) (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))))
▶	1.6b	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))

Compiler

Compiled 17047 to 12597 computations (26.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)
✓	0.0b	(.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))
✓	0.1b	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))
✓	17.9b	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))

series171.0ms (2.4%)

Counts

4 → 96

Calls

4 calls:

78.0ms	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))
42.0ms	(.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))
32.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))
17.0ms	(pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)

rewrite40.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

201×	`add-sqr-sqrt_binary64`
197×	`log1p-expm1-u_binary64`
197×	`expm1-log1p-u_binary64`
192×	`add-cbrt-cube_binary64`
188×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	79
1	407	79

Stop Event

1×	node limit

Counts

4 → 81

Calls

4 calls:

38.0ms	(pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)
38.0ms	(.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))
38.0ms	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))
38.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))

simplify123.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

852×	`times-frac_binary64`
362×	`+-commutative_binary64`
291×	`associate-+r+_binary64`
279×	`fma-def_binary64`
227×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	904	10388
1	3341	10388

Stop Event

1×	node limit

Counts

177 → 199

prune597.0ms (8.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	199	0	199
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	199	7	206

Error

0.0b

Counts

206 → 7

Alt Table

Status	Error	Program
✓	0.3b	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (*.f64 (/.f64 (+.f64 beta (+.f64 alpha 3)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 2))))
	36.9b	(+.f64 (/.f64 1 (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (-.f64 (fma.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 2)) (/.f64 alpha (+.f64 alpha 3)) (fma.f64 256 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 6)) (/.f64 beta (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 480 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 1158 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 3))) (+.f64 (fma.f64 1220 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (/.f64 alpha (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3)))) (+.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (fma.f64 520 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 704 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 93 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 alpha 3) 3)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 2 alpha) 6))) (fma.f64 111 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (fma.f64 376 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 9 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 6)) (/.f64 (pow.f64 alpha 5) (pow.f64 (+.f64 alpha 3) 3))) (fma.f64 740 (/.f64 (/.f64 (.f64 (.f64 alpha beta) (.f64 alpha beta)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)) (.f64 9 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 6)) (pow.f64 (+.f64 alpha 3) 3)))))))))))))))) (fma.f64 8 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 23 (/.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (pow.f64 (+.f64 alpha 3) 2)) (fma.f64 18488 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 30 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 2574 (/.f64 (/.f64 (.f64 (pow.f64 beta 3) (pow.f64 alpha 5)) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 17 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 405 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 6) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 11 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 40 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 14848 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 alpha (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 3 (.f64 (/.f64 beta (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 4096 (/.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (pow.f64 (+.f64 alpha 3) 4)) (fma.f64 8972 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 4) (pow.f64 (+.f64 alpha 3) 4))) (fma.f64 20 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 16 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 3 (.f64 (/.f64 (.f64 beta beta) (pow.f64 (+.f64 2 alpha) 4)) (/.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 alpha 3) 2))) (fma.f64 27 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (pow.f64 alpha 7) (pow.f64 (+.f64 alpha 3) 4))) (.f64 22464 (.f64 (/.f64 (pow.f64 beta 3) (pow.f64 (+.f64 2 alpha) 8)) (/.f64 (.f64 alpha alpha) (pow.f64 (+.f64 alpha 3) 4))))))))))))))))))))))))
	1.6b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (/.f64 (+.f64 beta 1) (fma.f64 alpha (+.f64 alpha (+.f64 beta 2)) (.f64 (+.f64 beta 2) (+.f64 alpha (+.f64 beta 2))))))
	7.4b	(.f64 (/.f64 (+.f64 beta 1) 1) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (.f64 (+.f64 alpha (+.f64 beta 2)) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha)))))
✓	0.1b	(*.f64 (/.f64 (+.f64 beta 1) (+.f64 alpha (+.f64 beta 2))) (/.f64 (/.f64 1 (+.f64 alpha (+.f64 beta 2))) (/.f64 (+.f64 (+.f64 beta alpha) 3) (+.f64 1 alpha))))
	2.0b	(.f64 (/.f64 (+.f64 alpha 1) (+.f64 beta (+.f64 alpha 3))) (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) 2) (cbrt.f64 (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2)))))
✓	1.6b	(/.f64 (.f64 (+.f64 1 alpha) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 alpha (+.f64 beta 2)) -2))) (+.f64 beta (+.f64 alpha 3)))

Compiler

Compiled 15537 to 11462 computations (26.2% saved)

regimes1.4s (19.3%)

Accuracy

Total 0.1b remaining (80.8%)

Threshold costs 0.1b (80.8%)

Counts

263 → 1

Compiler

Compiled 37100 to 27929 computations (24.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	40
1	26	40

Stop Event

1×

saturated

end671.0ms (9.5%)

Compiler: Compiled 956 to 717 computations (25% saved)

Details

analyze3.0ms (0%)

sample1.3s (18%)

simplify25.0ms (0.4%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

series128.0ms (1.8%)

rewrite42.0ms (0.6%)

simplify93.0ms (1.3%)

prune547.0ms (7.7%)

localize11.0ms (0.2%)

series110.0ms (1.6%)

rewrite44.0ms (0.6%)

simplify82.0ms (1.2%)

prune597.0ms (8.4%)

localize13.0ms (0.2%)

series120.0ms (1.7%)

rewrite38.0ms (0.5%)

simplify113.0ms (1.6%)

prune842.0ms (11.9%)

localize13.0ms (0.2%)

series171.0ms (2.4%)

rewrite40.0ms (0.6%)

simplify123.0ms (1.7%)

prune597.0ms (8.4%)

regimes1.4s (19.3%)

simplify2.0ms (0%)

end671.0ms (9.5%)

Profiling