Details

analyze1.9s (5%)

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.3s (3.3%)

Results

1.2s	8254×	body	128	valid
1.0ms	1×	body	2048	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 83 to 50 computations (39.8% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

765×	`sub-neg_binary64`
731×	`fma-neg_binary64`
652×	`neg-mul-1_binary64`
505×	`fma-def_binary64`
495×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	29
1	37	29
2	85	29
3	194	27
4	486	27
5	1003	27
6	1920	27
7	3406	27
8	4078	27
9	4431	27
10	4919	27
11	5085	27

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

24.3b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 100 to 55 computations (45% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 t y) a)
✓	1.6b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
✓	3.1b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
✓	22.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series190.0ms (0.5%)

Counts

4 → 240

Calls

4 calls:

138.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
27.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
19.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
6.0ms	(*.f64 (+.f64 t y) a)

rewrite151.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

300× egg-rr

Counts

4 → 300

Calls

2 calls:

134.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	70
1	408	70
2	4834	70
3	5497	70
0	0	0
1	0	0

simplify138.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

594×	`associate-+l+_binary64`
574×	`associate-/l*_binary64`
368×	`associate-/r*_binary64`
281×	`+-commutative_binary64`
238×	`associate-+r+_binary64`

Counts

540 → 419

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	598	9730
1	1780	9604
2	5824	9604

prune353.0ms (0.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	406	13	419
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	407	13	420

Error

2.4b

Counts

420 → 13

Alt Table

Status	Error	Program
	44.5b	(+.f64 (fma.f64 (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) 1) (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t))) 1))) (fma.f64 (neg.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t)))) 1 (.f64 (/.f64 (*.f64 y b) (+.f64 x (+.f64 y t))) 1)))
	42.9b	a
	21.2b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 b (+.f64 x (+.f64 y t))) (/.f64 y 1)))) (fma.f64 (neg.f64 (/.f64 b (+.f64 x (+.f64 y t)))) (/.f64 y 1) (*.f64 (/.f64 b (+.f64 x (+.f64 y t))) (/.f64 y 1))))
	40.7b	(/.f64 (fma.f64 a t (*.f64 y (-.f64 a b))) (+.f64 y (+.f64 t x)))
	24.4b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 (.f64 y b) (cbrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) 2))))) (fma.f64 (neg.f64 (/.f64 (.f64 y b) (cbrt.f64 (+.f64 x (+.f64 y t))))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) 2)) (.f64 (/.f64 (.f64 y b) (cbrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) 2)))))
	28.7b	(-.f64 (+.f64 a z) b)
	42.6b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	44.1b	z
	24.4b	(.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
	46.4b	(-.f64 (+.f64 (/.f64 (.f64 y a) t) (+.f64 a (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 y z) t)))) (+.f64 (/.f64 (.f64 a x) t) (+.f64 (/.f64 (.f64 a y) t) (/.f64 (.f64 y b) t))))
	24.4b	(pow.f64 (/.f64 (+.f64 x (+.f64 y t)) (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (.f64 y b))) -1)
▶	20.1b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	43.2b	(.f64 (/.f64 1 (sqrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (sqrt.f64 (+.f64 x (+.f64 y t)))))

Compiler

Compiled 28350 to 5915 computations (79.1% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a))
✓	3.9b	(*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))
✓	19.0b	(/.f64 (fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))
✓	27.0b	(fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))

series22.3s (57.9%)

Counts

4 → 216

Calls

4 calls:

22.1s	(fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))
81.0ms	(/.f64 (fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))
49.0ms	(*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))
15.0ms	(fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a))

rewrite74.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

107× egg-rr

Counts

4 → 107

Calls

2 calls:

71.0ms

((fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))) (/.f64 (fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)) (fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	78
1	407	76
2	4652	76
3	5981	76
0	0	0
1	0	0

simplify100.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-/l*_binary64`
391×	`associate-/r*_binary64`
254×	`associate-r_binary64`
251×	`+-commutative_binary64`
244×	`associate--l+_binary64`

Counts

323 → 232

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	587	7859
1	1730	7790
2	5096	7790

prune408.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	312	4	316
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	319	10	329

Error

0.8b

Counts

329 → 10

Alt Table

Status	Error	Program
	21.3b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (/.f64 y (.f64 (/.f64 1 b) (+.f64 x (+.f64 y t)))))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	42.6b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(+.f64 (fma.f64 1 z (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	24.4b	(.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
	46.4b	(-.f64 (+.f64 (/.f64 (.f64 y a) t) (+.f64 a (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 y z) t)))) (+.f64 (/.f64 (.f64 a x) t) (+.f64 (/.f64 (.f64 a y) t) (/.f64 (.f64 y b) t))))
	44.5b	(+.f64 (fma.f64 (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) 1) (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t))) 1))) (fma.f64 (neg.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t)))) 1 (.f64 (/.f64 (*.f64 y b) (+.f64 x (+.f64 y t))) 1)))
	24.4b	(pow.f64 (/.f64 (+.f64 x (+.f64 y t)) (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (.f64 y b))) -1)
	29.3b	(+.f64 (fma.f64 1 a (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
▶	17.9b	(+.f64 (fma.f64 1 (+.f64 a z) (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	43.2b	(.f64 (/.f64 1 (sqrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (sqrt.f64 (+.f64 x (+.f64 y t)))))

Compiler

Compiled 24239 to 7496 computations (69.1% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1 (+.f64 a z) (neg.f64 (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
✓	0.0b	(/.f64 y (+.f64 x (+.f64 y t)))
	3.9b	(*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))
	27.0b	(fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))

series84.0ms (0.2%)

Counts

2 → 108

Calls

2 calls:

52.0ms	(fma.f64 1 (+.f64 a z) (neg.f64 (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
31.0ms	(/.f64 y (+.f64 x (+.f64 y t)))

rewrite68.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

61× egg-rr

Counts

2 → 61

Calls

2 calls:

66.0ms	((/.f64 y (+.f64 x (+.f64 y t))) (fma.f64 1 (+.f64 a z) (neg.f64 (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	346	29
2	4555	29
3	5005	29
0	0	0
1	0	0

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

633×	`cancel-sign-sub-inv_binary64`
381×	`times-frac_binary64`
356×	`sub-neg_binary64`
275×	`associate-/l*_binary64`
250×	`+-commutative_binary64`

Counts

169 → 152

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	283	3839
1	904	3811
2	3789	3742
3	5376	3742

prune576.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	487	1	488
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	487	11	498

Error

0.8b

Counts

498 → 11

Alt Table

Status	Error	Program
▶	21.3b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (/.f64 y (.f64 (/.f64 1 b) (+.f64 x (+.f64 y t)))))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	42.6b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(+.f64 (fma.f64 1 z (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	47.5b	(+.f64 (expm1.f64 (log1p.f64 (+.f64 (+.f64 a z) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) b)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	24.4b	(.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
	46.4b	(-.f64 (+.f64 (/.f64 (.f64 y a) t) (+.f64 a (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 y z) t)))) (+.f64 (/.f64 (.f64 a x) t) (+.f64 (/.f64 (.f64 a y) t) (/.f64 (.f64 y b) t))))
	44.5b	(+.f64 (fma.f64 (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) 1) (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t))) 1))) (fma.f64 (neg.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t)))) 1 (.f64 (/.f64 (*.f64 y b) (+.f64 x (+.f64 y t))) 1)))
	24.4b	(pow.f64 (/.f64 (+.f64 x (+.f64 y t)) (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (.f64 y b))) -1)
	29.3b	(+.f64 (fma.f64 1 a (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
✓	17.9b	(+.f64 (fma.f64 1 (+.f64 a z) (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	43.2b	(.f64 (/.f64 1 (sqrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (sqrt.f64 (+.f64 x (+.f64 y t)))))

Compiler

Compiled 27829 to 10158 computations (63.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.9b	(*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))
✓	8.4b	(/.f64 y (*.f64 (/.f64 1 b) (+.f64 x (+.f64 y t))))
	19.0b	(/.f64 (fma.f64 (+.f64 x y) z (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))
	27.0b	(fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))

series49.0ms (0.1%)

Counts

1 → 48

Calls

1 calls:

49.0ms

(/.f64 y (*.f64 (/.f64 1 b) (+.f64 x (+.f64 y t))))

rewrite58.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

43× egg-rr

Counts

1 → 43

Calls

2 calls:

57.0ms	((/.f64 y (*.f64 (/.f64 1 b) (+.f64 x (+.f64 y t)))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	253	13
2	3676	13
3	5017	13
0	0	0
1	0	0

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

883×	`fma-def_binary64`
365×	`fma-neg_binary64`
321×	`cancel-sign-sub-inv_binary64`
258×	`times-frac_binary64`
231×	`neg-mul-1_binary64`

Counts

91 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	166	2254
1	544	2238
2	2435	2010
3	4740	2010
4	5132	2010

prune340.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	273	1	274
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	275	10	285

Error

0.8b

Counts

285 → 10

Alt Table

Status	Error	Program
✓	21.3b	(+.f64 (fma.f64 1 (/.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t))) (neg.f64 (/.f64 y (.f64 (/.f64 1 b) (+.f64 x (+.f64 y t)))))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	29.8b	(+.f64 (fma.f64 1 z (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	47.5b	(+.f64 (expm1.f64 (log1p.f64 (+.f64 (+.f64 a z) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) b)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	24.4b	(.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
	46.4b	(-.f64 (+.f64 (/.f64 (.f64 y a) t) (+.f64 a (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 y z) t)))) (+.f64 (/.f64 (.f64 a x) t) (+.f64 (/.f64 (.f64 a y) t) (/.f64 (.f64 y b) t))))
	44.5b	(+.f64 (fma.f64 (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) 1) (/.f64 (sqrt.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a))) (+.f64 x (+.f64 y t))) (neg.f64 (.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t))) 1))) (fma.f64 (neg.f64 (/.f64 (.f64 y b) (+.f64 x (+.f64 y t)))) 1 (.f64 (/.f64 (*.f64 y b) (+.f64 x (+.f64 y t))) 1)))
	24.4b	(pow.f64 (/.f64 (+.f64 x (+.f64 y t)) (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (.f64 y b))) -1)
	29.2b	(+.f64 (fma.f64 1 (.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t)) (neg.f64 (/.f64 y (.f64 (/.f64 1 b) (+.f64 x (+.f64 y t)))))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (*.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
✓	17.9b	(+.f64 (fma.f64 1 (+.f64 a z) (neg.f64 (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1)))) (fma.f64 (neg.f64 (/.f64 y (+.f64 x (+.f64 y t)))) (/.f64 b 1) (.f64 (/.f64 y (+.f64 x (+.f64 y t))) (/.f64 b 1))))
	43.2b	(.f64 (/.f64 1 (sqrt.f64 (+.f64 x (+.f64 y t)))) (/.f64 (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (*.f64 y b)) (sqrt.f64 (+.f64 x (+.f64 y t)))))

Compiler

Compiled 21500 to 6850 computations (68.1% saved)

regimes9.9s (25.8%)

Accuracy

Total 4.4b remaining (72.5%)

Threshold costs 0b (0%)

Counts

389 → 3

Compiler

Compiled 119824 to 61067 computations (49% saved)

bsearch21.0ms (0.1%)

Compiler: Compiled 27 to 16 computations (40.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	256
1	89	254
2	115	254
3	127	254
4	131	254
5	129	254

end176.0ms (0.5%)

Compiler: Compiled 814 to 330 computations (59.5% saved)

Details

analyze1.9s (5%)

sample1.3s (3.3%)

simplify90.0ms (0.2%)

prune3.0ms (0%)

localize14.0ms (0%)

series190.0ms (0.5%)

rewrite151.0ms (0.4%)

simplify138.0ms (0.4%)

prune353.0ms (0.9%)

localize18.0ms (0%)

series22.3s (57.9%)

rewrite74.0ms (0.2%)

simplify100.0ms (0.3%)

prune408.0ms (1.1%)

localize13.0ms (0%)

series84.0ms (0.2%)

rewrite68.0ms (0.2%)

simplify77.0ms (0.2%)

prune576.0ms (1.5%)

localize20.0ms (0.1%)

series49.0ms (0.1%)

rewrite58.0ms (0.2%)

simplify69.0ms (0.2%)

prune340.0ms (0.9%)

regimes9.9s (25.8%)

bsearch21.0ms (0.1%)

simplify7.0ms (0%)

end176.0ms (0.5%)

Profiling