Details

analyze1.9s (18.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 28 to 17 computations (39.3% saved)

sample1.2s (12.2%)

Results

1.2s	8253×	body	128	valid
1.0ms	3×	body	512	valid

Compiler

Compiled 56 to 34 computations (39.3% saved)

preprocess47.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

686×	`fma-neg_binary64`
540×	`+-commutative_binary64`
368×	`associate-+l+_binary64`
338×	`fma-def_binary64`
282×	`associate--l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	464
1	375	464
2	880	464
3	2578	464
4	4971	464
0	6	6

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify21.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

727×	`fma-neg_binary64`
497×	`fma-def_binary64`
495×	`cancel-sign-sub-inv_binary64`
376×	`sub-neg_binary64`
334×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	29
1	37	29
2	89	29
3	253	27
4	623	27
5	1451	27
6	2919	27

Stop Event

1×	node limit

Counts

1 → 2

prune3.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

26.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	26.6b	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))
	26.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Compiler

Compiled 150 to 84 computations (44% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))
✓	1.0b	(fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z)))
✓	24.9b	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))

series142.0ms (1.4%)

Counts

3 → 204

Calls

51 calls:

7.0ms	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))	t	0
7.0ms	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))	x	0
7.0ms	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))	t	-inf
7.0ms	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))	x	-inf
7.0ms	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))	y	-inf

rewrite38.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

184×	`add-sqr-sqrt_binary64`
178×	`log1p-expm1-u_binary64`
178×	`expm1-log1p-u_binary64`
177×	`add-cbrt-cube_binary64`
170×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	59
1	348	59

Stop Event

1×	node limit

Counts

3 → 76

simplify105.0ms (1%)

Algorithm

1×	egg-herbie

Rules

834×	`times-frac_binary64`
564×	`associate-/l*_binary64`
364×	`associate-/r*_binary64`
256×	`+-commutative_binary64`
210×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	568	9417
1	1942	9294

Stop Event

1×	node limit

Counts

280 → 185

prune173.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	177	8	185
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	178	9	187

Error

0.0b

Counts

187 → 9

Alt Table

Status	Error	Program
✓	26.6b	(/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 z a) b) (*.f64 x z))) (+.f64 x (+.f64 y t)))
	45.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (.f64 z x))) 2)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 x y) t)) 2)) (cbrt.f64 (/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x))) (+.f64 (+.f64 x y) t))))
	45.0b	z
	34.0b	(/.f64 (fma.f64 z (+.f64 y x) (*.f64 a (+.f64 y t))) (+.f64 y (+.f64 x t)))
	40.4b	(+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 (.f64 y z) t)) (+.f64 (.f64 (/.f64 a t) x) (*.f64 (/.f64 y t) b))))
	46.1b	(-.f64 (+.f64 (+.f64 (.f64 (/.f64 a x) y) (.f64 (.f64 (/.f64 y x) (/.f64 y x)) b)) (+.f64 (+.f64 z (.f64 (/.f64 a x) t)) (+.f64 (+.f64 (.f64 (.f64 (/.f64 t x) (/.f64 t x)) z) (.f64 (.f64 (/.f64 t x) z) (/.f64 y x))) (.f64 (/.f64 y x) (/.f64 (.f64 b t) x))))) (+.f64 (.f64 (.f64 (/.f64 y x) (/.f64 y x)) a) (+.f64 (+.f64 (.f64 (/.f64 y x) b) (.f64 (/.f64 t x) z)) (fma.f64 2 (/.f64 (.f64 y t) (/.f64 x (/.f64 a x))) (.f64 (/.f64 a (.f64 x x)) (.f64 t t))))))
▶	7.7b	(+.f64 (/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z)) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	27.3b	(/.f64 (pow.f64 (cbrt.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) 3) (+.f64 x (+.f64 y t)))
	26.7b	(pow.f64 (/.f64 (+.f64 (+.f64 x y) t) (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) -1)

Compiler

Compiled 9385 to 3124 computations (66.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.7b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) y)
✓	8.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) t)
✓	9.7b	(*.f64 (/.f64 z (+.f64 y (+.f64 x t))) x)
✓	10.0b	(/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z))

series169.0ms (1.7%)

Counts

4 → 192

Calls

48 calls:

17.0ms	(*.f64 (/.f64 z (+.f64 y (+.f64 x t))) x)	t	inf
6.0ms	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) t)	y	inf
5.0ms	(*.f64 (/.f64 z (+.f64 y (+.f64 x t))) x)	t	-inf
4.0ms	(/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z))	z	inf
4.0ms	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) t)	x	-inf

rewrite36.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

177×	`add-sqr-sqrt_binary64`
167×	`log1p-expm1-u_binary64`
167×	`expm1-log1p-u_binary64`
166×	`add-cbrt-cube_binary64`
163×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	52
1	343	52

Stop Event

1×	node limit

Counts

4 → 127

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Rules

648×	`associate-/l*_binary64`
415×	`associate-/r*_binary64`
293×	`associate-r_binary64`
217×	`sub-neg_binary64`
200×	`+-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	579	8996
1	2069	8948

Stop Event

1×	node limit

Counts

319 → 331

prune384.0ms (3.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	328	3	331
Fresh	2	5	7
Picked	1	0	1
Done	1	0	1
Total	332	8	340

Error

0.0b

Counts

340 → 8

Alt Table

Status	Error	Program
	11.7b	(+.f64 (/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z)) (-.f64 (+.f64 (/.f64 1 (/.f64 (+.f64 (+.f64 y x) t) (.f64 z x))) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	26.7b	(pow.f64 (/.f64 (+.f64 (+.f64 x y) t) (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) -1)
	46.1b	(-.f64 (+.f64 (+.f64 (.f64 (/.f64 a x) y) (.f64 (.f64 (/.f64 y x) (/.f64 y x)) b)) (+.f64 (+.f64 z (.f64 (/.f64 a x) t)) (+.f64 (+.f64 (.f64 (.f64 (/.f64 t x) (/.f64 t x)) z) (.f64 (.f64 (/.f64 t x) z) (/.f64 y x))) (.f64 (/.f64 y x) (/.f64 (.f64 b t) x))))) (+.f64 (.f64 (.f64 (/.f64 y x) (/.f64 y x)) a) (+.f64 (+.f64 (.f64 (/.f64 y x) b) (.f64 (/.f64 t x) z)) (fma.f64 2 (/.f64 (.f64 y t) (/.f64 x (/.f64 a x))) (.f64 (/.f64 a (.f64 x x)) (.f64 t t))))))
	45.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (.f64 z x))) 2)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 x y) t)) 2)) (cbrt.f64 (/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x))) (+.f64 (+.f64 x y) t))))
	12.6b	(+.f64 (.f64 (/.f64 y (+.f64 y x)) z) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (*.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	40.4b	(+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 (.f64 y z) t)) (+.f64 (.f64 (/.f64 a t) x) (*.f64 (/.f64 y t) b))))
	27.3b	(/.f64 (pow.f64 (cbrt.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) 3) (+.f64 x (+.f64 y t)))
▶	7.7b	(+.f64 (.f64 (.f64 y (pow.f64 (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t))) 2)) (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))

Compiler

Compiled 23515 to 5192 computations (77.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	7.7b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) y)
	8.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) t)
	9.7b	(*.f64 (/.f64 z (+.f64 y (+.f64 x t))) x)
✓	19.4b	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))

series265.0ms (2.6%)

Counts

1 → 48

Calls

12 calls:

72.0ms	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))	z	-inf
71.0ms	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))	z	0
69.0ms	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))	z	inf
8.0ms	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))	t	-inf
7.0ms	(cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))	y	-inf

rewrite40.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

409×	`fma-def_binary64`
209×	`fma-neg_binary64`
193×	`expm1-udef_binary64`
193×	`log1p-udef_binary64`
169×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	204	12
2	3033	12

Stop Event

1×	node limit

Counts

1 → 29

simplify59.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64`
308×	`fma-def_binary64`
294×	`associate-r_binary64`
268×	`associate-/l*_binary64`
247×	`associate-/r*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	427	4041
1	1441	3893

Stop Event

1×	node limit

Counts

77 → 106

prune606.0ms (6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	449	0	449
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	449	8	457

Error

0.0b

Counts

457 → 8

Alt Table

Status	Error	Program
▶	11.7b	(+.f64 (/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z)) (-.f64 (+.f64 (/.f64 1 (/.f64 (+.f64 (+.f64 y x) t) (.f64 z x))) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	26.7b	(pow.f64 (/.f64 (+.f64 (+.f64 x y) t) (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) -1)
	46.1b	(-.f64 (+.f64 (+.f64 (.f64 (/.f64 a x) y) (.f64 (.f64 (/.f64 y x) (/.f64 y x)) b)) (+.f64 (+.f64 z (.f64 (/.f64 a x) t)) (+.f64 (+.f64 (.f64 (.f64 (/.f64 t x) (/.f64 t x)) z) (.f64 (.f64 (/.f64 t x) z) (/.f64 y x))) (.f64 (/.f64 y x) (/.f64 (.f64 b t) x))))) (+.f64 (.f64 (.f64 (/.f64 y x) (/.f64 y x)) a) (+.f64 (+.f64 (.f64 (/.f64 y x) b) (.f64 (/.f64 t x) z)) (fma.f64 2 (/.f64 (.f64 y t) (/.f64 x (/.f64 a x))) (.f64 (/.f64 a (.f64 x x)) (.f64 t t))))))
	45.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (.f64 z x))) 2)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 x y) t)) 2)) (cbrt.f64 (/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x))) (+.f64 (+.f64 x y) t))))
	12.6b	(+.f64 (.f64 (/.f64 y (+.f64 y x)) z) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (*.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	40.4b	(+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 (.f64 y z) t)) (+.f64 (.f64 (/.f64 a t) x) (*.f64 (/.f64 y t) b))))
	27.3b	(/.f64 (pow.f64 (cbrt.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) 3) (+.f64 x (+.f64 y t)))
✓	7.7b	(+.f64 (.f64 (.f64 y (pow.f64 (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t))) 2)) (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))

Compiler

Compiled 42053 to 12701 computations (69.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.3b	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))
	7.7b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) y)
	8.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 x t))) t)
	10.0b	(/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z))

series21.0ms (0.2%)

Counts

1 → 48

Calls

12 calls:

2.0ms	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))	z	-inf
2.0ms	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))	x	-inf
2.0ms	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))	y	-inf
2.0ms	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))	t	inf
2.0ms	(/.f64 (+.f64 (+.f64 y x) t) (*.f64 z x))	y	inf

rewrite48.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

414×	`fma-def_binary64`
212×	`fma-neg_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
173×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	207	13
2	3225	13

Stop Event

1×	node limit

Counts

1 → 40

simplify21.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

12×	`associate-/r*_binary64`
8×	`+-commutative_binary64`
5×	`associate-+r+_binary64`
5×	`associate-+l+_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	816
1	44	816
2	66	816
3	68	816

Stop Event

1×

saturated

Counts

88 → 55

prune369.0ms (3.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	311	0	311
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	311	8	319

Error

0.0b

Counts

319 → 8

Alt Table

Status	Error	Program
✓	11.7b	(+.f64 (/.f64 y (/.f64 (+.f64 y (+.f64 x t)) z)) (-.f64 (+.f64 (/.f64 1 (/.f64 (+.f64 (+.f64 y x) t) (.f64 z x))) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	26.7b	(pow.f64 (/.f64 (+.f64 (+.f64 x y) t) (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) -1)
	46.1b	(-.f64 (+.f64 (+.f64 (.f64 (/.f64 a x) y) (.f64 (.f64 (/.f64 y x) (/.f64 y x)) b)) (+.f64 (+.f64 z (.f64 (/.f64 a x) t)) (+.f64 (+.f64 (.f64 (.f64 (/.f64 t x) (/.f64 t x)) z) (.f64 (.f64 (/.f64 t x) z) (/.f64 y x))) (.f64 (/.f64 y x) (/.f64 (.f64 b t) x))))) (+.f64 (.f64 (.f64 (/.f64 y x) (/.f64 y x)) a) (+.f64 (+.f64 (.f64 (/.f64 y x) b) (.f64 (/.f64 t x) z)) (fma.f64 2 (/.f64 (.f64 y t) (/.f64 x (/.f64 a x))) (.f64 (/.f64 a (.f64 x x)) (.f64 t t))))))
	45.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (.f64 z x))) 2)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 x y) t)) 2)) (cbrt.f64 (/.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x))) (+.f64 (+.f64 x y) t))))
	12.6b	(+.f64 (.f64 (/.f64 y (+.f64 y x)) z) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (*.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))
	40.4b	(+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 (.f64 y z) t)) (+.f64 (.f64 (/.f64 a t) x) (*.f64 (/.f64 y t) b))))
	27.3b	(/.f64 (pow.f64 (cbrt.f64 (fma.f64 t a (fma.f64 y (-.f64 (+.f64 a z) b) (*.f64 z x)))) 3) (+.f64 x (+.f64 y t)))
✓	7.7b	(+.f64 (.f64 (.f64 y (pow.f64 (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t))) 2)) (cbrt.f64 (/.f64 z (+.f64 (+.f64 y x) t)))) (-.f64 (+.f64 (.f64 (/.f64 z (+.f64 y (+.f64 x t))) x) (+.f64 (.f64 (/.f64 a (+.f64 y (+.f64 x t))) t) (.f64 (/.f64 a (+.f64 y (+.f64 x t))) y))) (.f64 (/.f64 y (+.f64 y (+.f64 x t))) b)))

Compiler

Compiled 21577 to 5131 computations (76.2% saved)

regimes4.0s (40%)

Accuracy

Total 0.5b remaining (89.6%)

Threshold costs 0.5b (89.6%)

Counts

320 → 3

Compiler

Compiled 117682 to 53619 computations (54.4% saved)

bsearch23.0ms (0.2%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms

(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

0.0ms

(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Steps

Iters	Point		Range
4.453220551121422e+271	∈ [	4.453220551121422e+271	,	6.328989175050526e+293	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-1.3354915860296179e+275	]

Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

23×	`+-commutative_binary64`
15×	`*-commutative_binary64`
9×	`sub-neg_binary64`
6×	`cancel-sign-sub-inv_binary64`
5×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	264
1	101	264
2	127	264
3	137	264
4	142	264

Stop Event

1×

saturated

end180.0ms (1.8%)

Stop Event

1×

fuel

Compiler

Compiled 783 to 303 computations (61.3% saved)

Details

analyze1.9s (18.7%)

sample1.2s (12.2%)

preprocess47.0ms (0.5%)

simplify21.0ms (0.2%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series142.0ms (1.4%)

rewrite38.0ms (0.4%)

simplify105.0ms (1%)

prune173.0ms (1.7%)

localize19.0ms (0.2%)

series169.0ms (1.7%)

rewrite36.0ms (0.4%)

simplify102.0ms (1%)

prune384.0ms (3.8%)

localize25.0ms (0.2%)

series265.0ms (2.6%)

rewrite40.0ms (0.4%)

simplify59.0ms (0.6%)

prune606.0ms (6%)

localize24.0ms (0.2%)

series21.0ms (0.2%)

rewrite48.0ms (0.5%)

simplify21.0ms (0.2%)

prune369.0ms (3.6%)

regimes4.0s (40%)

bsearch23.0ms (0.2%)

simplify7.0ms (0.1%)

end180.0ms (1.8%)

Profiling