Details

analyze1.6s (14.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
14.9%	84.9%	0.2%	13
16.1%	83.6%	0.3%	14

Compiler

Compiled 19 to 12 computations (36.8% saved)

sample1.6s (13.7%)

Results

893.0ms	6929×	body	128	valid
161.0ms	1230×	body	128	invalid
152.0ms	396×	body	1024	valid
148.0ms	499×	body	512	valid
76.0ms	366×	body	256	valid
73.0ms	66×	body	2048	valid

Compiler

Compiled 56 to 35 computations (37.5% saved)

simplify84.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

825×	`unsub-neg_binary64`
766×	`fma-def_binary64`
693×	`div-sub_binary64`
637×	`sub-neg_binary64`
587×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	21	19
2	52	17
3	144	17
4	421	17
5	1090	17
6	2642	17
7	3865	17
8	4364	17
9	4936	17
10	4941	17

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

12.6b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 100 to 55 computations (45% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
✓	3.5b	(fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)

series85.0ms (0.7%)

Counts

2 → 96

Calls

2 calls:

64.0ms	(fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)
21.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
12×	`distribute-lft-out--_binary64`

Counts

2 → 64

Calls

2 calls:

6.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
0.0ms	(fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)

simplify124.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

615×	`cancel-sign-sub-inv_binary64`
513×	`sub-neg_binary64`
366×	`associate-+r+_binary64`
300×	`+-commutative_binary64`
270×	`associate-+l+_binary64`

Counts

160 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	378	5871
1	1049	5776
2	3942	5716
3	5417	5716

prune152.0ms (1.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	141	13	154
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	143	13	156

Error

2.0b

Counts

156 → 13

Alt Table

Status	Error	Program
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x))) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))
	38.0b	(-.f64 (+.f64 y (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 a y) t))) (+.f64 (/.f64 (.f64 a x) t) (/.f64 (.f64 y z) t)))
	28.8b	(fma.f64 (-.f64 y x) (.f64 (/.f64 (-.f64 z t) (-.f64 (.f64 a a) (*.f64 t t))) (+.f64 a t)) x)
▶	13.5b	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) x)
	43.9b	(fma.f64 (-.f64 y x) (-.f64 (+.f64 1 (/.f64 a t)) (+.f64 (/.f64 z t) (/.f64 (*.f64 a z) (pow.f64 t 2)))) x)
	44.5b	(*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z)
	40.0b	(fma.f64 (-.f64 y x) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t)))) x)
	13.6b	(fma.f64 (-.f64 y x) (.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t)))) x)
	38.4b	(fma.f64 (-.f64 y x) (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))) x)
	31.2b	(*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y)
	22.7b	(-.f64 (+.f64 (/.f64 (.f64 t x) (-.f64 a t)) (+.f64 (/.f64 (.f64 y z) (-.f64 a t)) x)) (+.f64 (/.f64 (.f64 z x) (-.f64 a t)) (/.f64 (.f64 y t) (-.f64 a t))))
	41.5b	(-.f64 (+.f64 (.f64 (pow.f64 (/.f64 a t) 3) y) (+.f64 (/.f64 (.f64 a (.f64 x z)) (.f64 t t)) (+.f64 (/.f64 (.f64 a (.f64 a y)) (.f64 t t)) (+.f64 y (+.f64 (+.f64 (/.f64 (.f64 x z) t) (/.f64 (.f64 a y) t)) (/.f64 (.f64 a (.f64 a (.f64 x z))) (pow.f64 t 3))))))) (+.f64 (/.f64 (.f64 a (.f64 a (.f64 z y))) (pow.f64 t 3)) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 t t)) (+.f64 (/.f64 (.f64 x a) t) (+.f64 (/.f64 (.f64 z y) t) (+.f64 (/.f64 (.f64 a (.f64 z y)) (.f64 t t)) (.f64 (pow.f64 (/.f64 a t) 3) x)))))))
	39.6b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))

Compiler

Compiled 5813 to 1883 computations (67.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
✓	0.5b	(*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
✓	0.6b	(cbrt.f64 (-.f64 z t))
✓	9.4b	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) x)

series166.0ms (1.4%)

Counts

4 → 144

Calls

4 calls:

71.0ms	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) x)
36.0ms	(*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
30.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
29.0ms	(cbrt.f64 (-.f64 z t))

rewrite48.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary64`
74×	`*-un-lft-identity_binary64`
59×	`cbrt-prod_binary64`
54×	`associate-r_binary64`
42×	`times-frac_binary64`

Counts

4 → 172

Calls

4 calls:

21.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
8.0ms	(*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
2.0ms	(cbrt.f64 (-.f64 z t))
0.0ms	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) x)

simplify157.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

548×	`associate-l_binary64`
483×	`associate-r_binary64`
314×	`associate-/l*_binary64`
239×	`times-frac_binary64`
174×	`*-commutative_binary64`

Counts

316 → 355

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	656	10435
1	1791	10088
2	5246	10088

prune409.0ms (3.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	455	2	457
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	458	12	470

Error

2.0b

Counts

470 → 12

Alt Table

Status	Error	Program
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x))) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))
	38.0b	(-.f64 (+.f64 y (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 a y) t))) (+.f64 (/.f64 (.f64 a x) t) (/.f64 (.f64 y z) t)))
	43.9b	(fma.f64 (-.f64 y x) (-.f64 (+.f64 1 (/.f64 a t)) (+.f64 (/.f64 z t) (/.f64 (*.f64 a z) (pow.f64 t 2)))) x)
	44.5b	(*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z)
	40.0b	(fma.f64 (-.f64 y x) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t)))) x)
	13.7b	(fma.f64 (-.f64 y x) (.f64 (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (-.f64 a t)))) x)
▶	13.7b	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)
	28.8b	(fma.f64 (-.f64 y x) (.f64 (/.f64 (-.f64 z t) (-.f64 (.f64 a a) (*.f64 t t))) (+.f64 a t)) x)
	31.2b	(*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y)
	22.7b	(-.f64 (+.f64 (/.f64 (.f64 t x) (-.f64 a t)) (+.f64 (/.f64 (.f64 y z) (-.f64 a t)) x)) (+.f64 (/.f64 (.f64 z x) (-.f64 a t)) (/.f64 (.f64 y t) (-.f64 a t))))
	41.5b	(-.f64 (+.f64 (.f64 (pow.f64 (/.f64 a t) 3) y) (+.f64 (/.f64 (.f64 a (.f64 x z)) (.f64 t t)) (+.f64 (/.f64 (.f64 a (.f64 a y)) (.f64 t t)) (+.f64 y (+.f64 (+.f64 (/.f64 (.f64 x z) t) (/.f64 (.f64 a y) t)) (/.f64 (.f64 a (.f64 a (.f64 x z))) (pow.f64 t 3))))))) (+.f64 (/.f64 (.f64 a (.f64 a (.f64 z y))) (pow.f64 t 3)) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 t t)) (+.f64 (/.f64 (.f64 x a) t) (+.f64 (/.f64 (.f64 z y) t) (+.f64 (/.f64 (.f64 a (.f64 z y)) (.f64 t t)) (.f64 (pow.f64 (/.f64 a t) 3) x)))))))
	39.6b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))

Compiler

Compiled 18106 to 5717 computations (68.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t))))
✓	0.6b	(cbrt.f64 (cbrt.f64 (-.f64 z t)))
	0.6b	(cbrt.f64 (-.f64 z t))
✓	11.3b	(fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)

series136.0ms (1.2%)

Counts

3 → 108

Calls

3 calls:

67.0ms

(fma.f64 (-.f64 y x) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)

37.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t))))

31.0ms

(cbrt.f64 (cbrt.f64 (-.f64 z t)))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

91×	`cbrt-prod_binary64`
45×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
28×	`cbrt-div_binary64`
17×	`add-cube-cbrt_binary64`

Counts

3 → 102

Calls

3 calls:

12.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t))))

3.0ms

(cbrt.f64 (cbrt.f64 (-.f64 z t)))

0.0ms

(fma.f64 (-.f64 y x) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)

simplify173.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

347×	`associate-+r+_binary64`
331×	`fma-neg_binary64`
321×	`associate-r_binary64`
254×	`associate-l_binary64`
241×	`associate-+l+_binary64`

Counts

210 → 223

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	517	8087
1	1347	7676
2	4997	7676
3	5249	7676

prune572.0ms (4.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	580	2	582
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	581	13	594

Error

2.0b

Counts

594 → 13

Alt Table

Status	Error	Program
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x))) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))
	38.0b	(-.f64 (+.f64 y (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 a y) t))) (+.f64 (/.f64 (.f64 a x) t) (/.f64 (.f64 y z) t)))
▶	13.7b	(+.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t)))) x)
	13.7b	(fma.f64 (-.f64 y x) (.f64 (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (-.f64 a t)))) x)
	14.1b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)) (cbrt.f64 (fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x))) (cbrt.f64 (fma.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))) x)))
	43.9b	(fma.f64 (-.f64 y x) (-.f64 (+.f64 1 (/.f64 a t)) (+.f64 (/.f64 z t) (/.f64 (*.f64 a z) (pow.f64 t 2)))) x)
	44.5b	(*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z)
	40.0b	(fma.f64 (-.f64 y x) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t)))) x)
	28.8b	(fma.f64 (-.f64 y x) (.f64 (/.f64 (-.f64 z t) (-.f64 (.f64 a a) (*.f64 t t))) (+.f64 a t)) x)
	31.2b	(*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y)
	22.7b	(-.f64 (+.f64 (/.f64 (.f64 t x) (-.f64 a t)) (+.f64 (/.f64 (.f64 y z) (-.f64 a t)) x)) (+.f64 (/.f64 (.f64 z x) (-.f64 a t)) (/.f64 (.f64 y t) (-.f64 a t))))
	41.5b	(-.f64 (+.f64 (.f64 (pow.f64 (/.f64 a t) 3) y) (+.f64 (/.f64 (.f64 a (.f64 x z)) (.f64 t t)) (+.f64 (/.f64 (.f64 a (.f64 a y)) (.f64 t t)) (+.f64 y (+.f64 (+.f64 (/.f64 (.f64 x z) t) (/.f64 (.f64 a y) t)) (/.f64 (.f64 a (.f64 a (.f64 x z))) (pow.f64 t 3))))))) (+.f64 (/.f64 (.f64 a (.f64 a (.f64 z y))) (pow.f64 t 3)) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 t t)) (+.f64 (/.f64 (.f64 x a) t) (+.f64 (/.f64 (.f64 z y) t) (+.f64 (/.f64 (.f64 a (.f64 z y)) (.f64 t t)) (.f64 (pow.f64 (/.f64 a t) 3) x)))))))
	39.6b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (sqrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))

Compiler

Compiled 31100 to 10143 computations (67.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (cbrt.f64 (-.f64 z t)))
	0.6b	(cbrt.f64 (-.f64 z t))
✓	1.9b	(.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))))
✓	11.0b	(+.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t)))) x)

series210.0ms (1.8%)

Counts

2 → 120

Calls

2 calls:

125.0ms

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

85.0ms

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

rewrite87.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`frac-times_binary64`
72×	`cbrt-div_binary64`
54×	`flip--_binary64`
54×	`flip3--_binary64`
44×	`add-exp-log_binary64`

Counts

2 → 104

Calls

2 calls:

30.0ms

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

29.0ms

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

simplify214.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-r_binary64`
541×	`associate-l_binary64`
241×	`associate-/l*_binary64`
201×	`+-commutative_binary64`
198×	`times-frac_binary64`

Counts

224 → 252

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	611	11530
1	1573	11465
2	4924	11465
3	5034	11465

prune599.0ms (5.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	658	5	663
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	661	15	676

Error

2.0b

Counts

676 → 15

Alt Table

Status	Error	Program
	13.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (cbrt.f64 (-.f64 y x)))) x)
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x))) (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)) x)))
	38.0b	(-.f64 (+.f64 y (+.f64 (/.f64 (.f64 z x) t) (/.f64 (.f64 a y) t))) (+.f64 (/.f64 (.f64 a x) t) (/.f64 (.f64 y z) t)))
	28.8b	(fma.f64 (-.f64 y x) (.f64 (/.f64 (-.f64 z t) (-.f64 (.f64 a a) (*.f64 t t))) (+.f64 a t)) x)
	13.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t))))) (cbrt.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t)))))) (cbrt.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t)))))) x)
	52.9b	(+.f64 (.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (-.f64 (sqrt.f64 y) (sqrt.f64 x)))) x)
	41.5b	(-.f64 (+.f64 (.f64 (pow.f64 (/.f64 a t) 3) y) (+.f64 (/.f64 (.f64 a (.f64 x z)) (.f64 t t)) (+.f64 (/.f64 (.f64 a (.f64 a y)) (.f64 t t)) (+.f64 y (+.f64 (+.f64 (/.f64 (.f64 x z) t) (/.f64 (.f64 a y) t)) (/.f64 (.f64 a (.f64 a (.f64 x z))) (pow.f64 t 3))))))) (+.f64 (/.f64 (.f64 a (.f64 a (.f64 z y))) (pow.f64 t 3)) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 t t)) (+.f64 (/.f64 (.f64 x a) t) (+.f64 (/.f64 (.f64 z y) t) (+.f64 (/.f64 (.f64 a (.f64 z y)) (.f64 t t)) (.f64 (pow.f64 (/.f64 a t) 3) x)))))))
	43.9b	(fma.f64 (-.f64 y x) (-.f64 (+.f64 1 (/.f64 a t)) (+.f64 (/.f64 z t) (/.f64 (*.f64 a z) (pow.f64 t 2)))) x)
	44.5b	(*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z)
	40.0b	(fma.f64 (-.f64 y x) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t)))) x)
	13.7b	(fma.f64 (-.f64 y x) (.f64 (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (-.f64 a t)))) x)
	32.4b	(expm1.f64 (log1p.f64 (+.f64 (.f64 (-.f64 y x) (.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 z t))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (cbrt.f64 (cbrt.f64 (-.f64 z t)))) (-.f64 a t)))) x)))
	41.8b	(+.f64 (.f64 (sqrt.f64 (/.f64 (.f64 (-.f64 z t) (-.f64 y x)) (-.f64 a t))) (sqrt.f64 (/.f64 (*.f64 (-.f64 z t) (-.f64 y x)) (-.f64 a t)))) x)
	31.2b	(*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y)
	22.7b	(-.f64 (+.f64 (/.f64 (.f64 t x) (-.f64 a t)) (+.f64 (/.f64 (.f64 y z) (-.f64 a t)) x)) (+.f64 (/.f64 (.f64 z x) (-.f64 a t)) (/.f64 (.f64 y t) (-.f64 a t))))

Compiler

Compiled 36580 to 11290 computations (69.1% saved)

regimes4.8s (41.5%)

Accuracy

Total 6.0b remaining (87.5%)

Threshold costs 0b (0%)

Counts

347 → 3

Compiler

Compiled 72264 to 34608 computations (52.1% saved)

bsearch17.0ms (0.2%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`+-commutative_binary64`
16×	`*-commutative_binary64`
16×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	110
1	56	110
2	75	110
3	93	110
4	116	110
5	128	110
6	136	110
7	139	110
8	139	110

end224.0ms (1.9%)

Compiler: Compiled 795 to 331 computations (58.4% saved)

Details

analyze1.6s (14.1%)

sample1.6s (13.7%)

simplify84.0ms (0.7%)

prune4.0ms (0%)

localize8.0ms (0.1%)

series85.0ms (0.7%)

rewrite10.0ms (0.1%)

simplify124.0ms (1.1%)

prune152.0ms (1.3%)

localize14.0ms (0.1%)

series166.0ms (1.4%)

rewrite48.0ms (0.4%)

simplify157.0ms (1.4%)

prune409.0ms (3.5%)

localize14.0ms (0.1%)

series136.0ms (1.2%)

rewrite24.0ms (0.2%)

simplify173.0ms (1.5%)

prune572.0ms (4.9%)

localize17.0ms (0.1%)

series210.0ms (1.8%)

rewrite87.0ms (0.8%)

simplify214.0ms (1.8%)

prune599.0ms (5.2%)

regimes4.8s (41.5%)

bsearch17.0ms (0.2%)

simplify7.0ms (0.1%)

end224.0ms (1.9%)

Profiling