Details

analyze2.1s (12.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.5s (9.1%)

Results

1.4s	8255×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 83 to 50 computations (39.8% saved)

simplify93.0ms (0.6%)

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

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

26.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	26.3b	(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (+.f64 x (+.f64 y t)))
▶	26.3b	(/.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 83 computations (44.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 t y) a)
✓	1.1b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
✓	3.2b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
✓	24.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series212.0ms (1.3%)

Counts

4 → 240

Calls

4 calls:

152.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
31.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
21.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
8.0ms	(*.f64 (+.f64 t y) a)

rewrite42.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
13×	`distribute-lft-out_binary64`

Counts

4 → 105

Calls

4 calls:

13.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
12.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
6.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
4.0ms	(*.f64 (+.f64 t y) a)

simplify196.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-/l*_binary64`
298×	`+-commutative_binary64`
292×	`fma-def_binary64`
269×	`distribute-rgt-in_binary64`
247×	`distribute-lft-in_binary64`

Counts

345 → 284

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	774	12872
1	2277	12422
2	5030	12422

prune300.0ms (1.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	270	14	284
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	272	14	286

Error

2.6b

Counts

286 → 14

Alt Table

Status	Error	Program
	27.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))) (cbrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x))))) (cbrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))))
	54.4b	(neg.f64 (/.f64 (*.f64 y b) (+.f64 y (+.f64 t x))))
	41.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(-.f64 (+.f64 a z) b)
▶	26.4b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
	45.1b	(.f64 (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))) (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))))
	44.7b	a
	26.4b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
	46.2b	(/.f64 (*.f64 z (+.f64 y x)) (+.f64 y (+.f64 t x)))
	50.5b	(/.f64 (*.f64 a (+.f64 y t)) (+.f64 y (+.f64 t x)))
	26.5b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
	27.0b	(/.f64 (/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (.f64 (cbrt.f64 (+.f64 (+.f64 x t) y)) (cbrt.f64 (+.f64 (+.f64 x t) y)))) (cbrt.f64 (+.f64 (+.f64 x t) y)))
	41.5b	z
	49.4b	(-.f64 (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 a (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 a t) (+.f64 y t)) (+.f64 (/.f64 (.f64 z (pow.f64 x 3)) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 b x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y a) (+.f64 y t)) (+.f64 (/.f64 (.f64 y z) (+.f64 y t)) (+.f64 (/.f64 (.f64 z x) (+.f64 y t)) (/.f64 (.f64 y (.f64 b (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4))))))))))) (+.f64 (/.f64 (.f64 y (.f64 b (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y b) (+.f64 y t)) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 y (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 z (pow.f64 x 2)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (/.f64 (.f64 a (*.f64 t x)) (pow.f64 (+.f64 y t) 2)))))))))))

Compiler

Compiled 14030 to 3826 computations (72.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 (+.f64 x t) y))
	1.1b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
	3.2b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
✓	24.7b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))

series178.0ms (1.1%)

Counts

2 → 108

Calls

2 calls:

149.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
29.0ms	(/.f64 1 (+.f64 (+.f64 x t) y))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
32×	`times-frac_binary64`
29×	`add-sqr-sqrt_binary64`
22×	`add-cube-cbrt_binary64`
21×	`distribute-lft-out_binary64`

Counts

2 → 93

Calls

2 calls:

18.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
6.0ms	(/.f64 1 (+.f64 (+.f64 x t) y))

simplify179.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

673×	`associate-/l*_binary64`
455×	`associate-/r*_binary64`
303×	`+-commutative_binary64`
237×	`associate-+r+_binary64`
200×	`fma-def_binary64`

Counts

201 → 230

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	758	11456
1	2328	11074
2	5308	11074

prune301.0ms (1.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	343	1	344
Fresh	2	11	13
Picked	0	1	1
Done	0	0	0
Total	345	13	358

Error

2.6b

Counts

358 → 13

Alt Table

Status	Error	Program
	41.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(-.f64 (+.f64 a z) b)
	26.5b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
	27.0b	(.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 1 (cbrt.f64 (+.f64 (+.f64 x t) y))))
✓	26.4b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
	45.1b	(.f64 (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))) (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))))
	44.7b	a
▶	26.4b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
	54.4b	(neg.f64 (/.f64 (*.f64 y b) (+.f64 y (+.f64 t x))))
	46.2b	(/.f64 (*.f64 z (+.f64 y x)) (+.f64 y (+.f64 t x)))
	50.5b	(/.f64 (*.f64 a (+.f64 y t)) (+.f64 y (+.f64 t x)))
	41.5b	z
	49.4b	(-.f64 (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 a (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 a t) (+.f64 y t)) (+.f64 (/.f64 (.f64 z (pow.f64 x 3)) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 b x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y a) (+.f64 y t)) (+.f64 (/.f64 (.f64 y z) (+.f64 y t)) (+.f64 (/.f64 (.f64 z x) (+.f64 y t)) (/.f64 (.f64 y (.f64 b (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4))))))))))) (+.f64 (/.f64 (.f64 y (.f64 b (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y b) (+.f64 y t)) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 y (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 z (pow.f64 x 2)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (/.f64 (.f64 a (*.f64 t x)) (pow.f64 (+.f64 y t) 2)))))))))))

Compiler

Compiled 16833 to 5059 computations (69.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
✓	0.8b	(fma.f64 a t (*.f64 y (-.f64 a b)))
✓	1.2b	(fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))
✓	24.7b	(/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))))

series1.9s (11.6%)

Counts

4 → 264

Calls

4 calls:

1.7s	(/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))))
147.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
28.0ms	(fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))
16.0ms	(fma.f64 a t (*.f64 y (-.f64 a b)))

rewrite44.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

150×	`*-un-lft-identity_binary64`
132×	`times-frac_binary64`
70×	`add-sqr-sqrt_binary64`
70×	`add-cube-cbrt_binary64`
48×	`distribute-lft-out_binary64`

Counts

4 → 161

Calls

4 calls:

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

simplify492.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

598×	`associate-/l*_binary64`
439×	`times-frac_binary64`
341×	`fma-def_binary64`
88×	`sub-neg_binary64`
46×	`sqr-pow_binary64`

Counts

425 → 364

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2774	48925
1	5641	48925

prune788.0ms (4.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	362	2	364
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	363	14	377

Error

2.6b

Counts

377 → 14

Alt Table

Status	Error	Program
	46.3b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (*.f64 z (+.f64 y x))))
	41.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(-.f64 (+.f64 a z) b)
▶	26.5b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
	27.0b	(.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 1 (cbrt.f64 (+.f64 (+.f64 x t) y))))
✓	26.4b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
	45.1b	(.f64 (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))) (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))))
	44.7b	a
✓	26.4b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
	54.4b	(neg.f64 (/.f64 (*.f64 y b) (+.f64 y (+.f64 t x))))
	27.0b	(/.f64 1 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))))) (cbrt.f64 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b))))))) (cbrt.f64 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))))
	50.5b	(/.f64 (*.f64 a (+.f64 y t)) (+.f64 y (+.f64 t x)))
	41.5b	z
	49.4b	(-.f64 (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 a (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 a t) (+.f64 y t)) (+.f64 (/.f64 (.f64 z (pow.f64 x 3)) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 b x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y a) (+.f64 y t)) (+.f64 (/.f64 (.f64 y z) (+.f64 y t)) (+.f64 (/.f64 (.f64 z x) (+.f64 y t)) (/.f64 (.f64 y (.f64 b (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4))))))))))) (+.f64 (/.f64 (.f64 y (.f64 b (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y b) (+.f64 y t)) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 y (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 z (pow.f64 x 2)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (/.f64 (.f64 a (*.f64 t x)) (pow.f64 (+.f64 y t) 2)))))))))))

Compiler

Compiled 54439 to 20787 computations (61.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 a)
✓	1.1b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a)))
✓	3.2b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b))
✓	24.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series300.0ms (1.9%)

Counts

4 → 216

Calls

4 calls:

168.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
52.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b))
44.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a)))
35.0ms	(cbrt.f64 a)

rewrite43.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
17×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
12×	`associate-*l/_binary64`

Counts

4 → 95

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
10.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b))
9.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a)))
1.0ms	(cbrt.f64 a)

simplify187.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

684×	`associate-/l*_binary64`
325×	`fma-def_binary64`
297×	`+-commutative_binary64`
239×	`associate-+r+_binary64`
239×	`distribute-rgt-in_binary64`

Counts

311 → 260

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	771	12556
1	2284	12099
2	5142	12099

prune235.0ms (1.5%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	293	1	294
Fresh	1	10	11
Picked	0	1	1
Done	0	2	2
Total	294	14	308

Error

2.6b

Counts

308 → 14

Alt Table

Status	Error	Program
	46.3b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (*.f64 z (+.f64 y x))))
	41.3b	(*.f64 (/.f64 a (+.f64 y (+.f64 t x))) (+.f64 y t))
	29.8b	(-.f64 (+.f64 a z) b)
✓	26.5b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
	27.0b	(.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 1 (cbrt.f64 (+.f64 (+.f64 x t) y))))
	26.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (.f64 (+.f64 t y) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 (cbrt.f64 a))))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
	49.4b	(-.f64 (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 a (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 a t) (+.f64 y t)) (+.f64 (/.f64 (.f64 z (pow.f64 x 3)) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 b x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y a) (+.f64 y t)) (+.f64 (/.f64 (.f64 y z) (+.f64 y t)) (+.f64 (/.f64 (.f64 z x) (+.f64 y t)) (/.f64 (.f64 y (.f64 b (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4))))))))))) (+.f64 (/.f64 (.f64 y (.f64 b (pow.f64 x 2))) (pow.f64 (+.f64 y t) 3)) (+.f64 (/.f64 (.f64 y (.f64 z x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 y b) (+.f64 y t)) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 y (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 z (pow.f64 x 2)) (pow.f64 (+.f64 y t) 2)) (+.f64 (/.f64 (.f64 a (.f64 t (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (+.f64 (/.f64 (.f64 y (.f64 z (pow.f64 x 3))) (pow.f64 (+.f64 y t) 4)) (/.f64 (.f64 a (*.f64 t x)) (pow.f64 (+.f64 y t) 2)))))))))))
✓	26.4b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 (+.f64 x t) y)))
	45.1b	(.f64 (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))) (sqrt.f64 (/.f64 (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b)))) (+.f64 y (+.f64 t x)))))
	44.7b	a
✓	26.4b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (fma.f64 z (+.f64 y x) (fma.f64 a t (*.f64 y (-.f64 a b))))))
	54.4b	(neg.f64 (/.f64 (*.f64 y b) (+.f64 y (+.f64 t x))))
	50.5b	(/.f64 (*.f64 a (+.f64 y t)) (+.f64 y (+.f64 t x)))
	41.5b	z

Compiler

Compiled 14885 to 3678 computations (75.3% saved)

regimes6.8s (41.9%)

Accuracy

Total 4.5b remaining (58.6%)

Threshold costs 0b (0%)

Counts

257 → 3

Compiler

Compiled 64347 to 33823 computations (47.4% saved)

bsearch14.0ms (0.1%)

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

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
10×	`*-commutative_binary64`
6×	`sub-neg_binary64`
4×	`cancel-sign-sub-inv_binary64`
3×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	118
1	63	118
2	75	118
3	81	118
4	84	118
5	84	118

end257.0ms (1.6%)

Compiler: Compiled 714 to 369 computations (48.3% saved)

Details

analyze2.1s (12.7%)

sample1.5s (9.1%)

simplify93.0ms (0.6%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series212.0ms (1.3%)

rewrite42.0ms (0.3%)

simplify196.0ms (1.2%)

prune300.0ms (1.9%)

localize17.0ms (0.1%)

series178.0ms (1.1%)

rewrite34.0ms (0.2%)

simplify179.0ms (1.1%)

prune301.0ms (1.9%)

localize19.0ms (0.1%)

series1.9s (11.6%)

rewrite44.0ms (0.3%)

simplify492.0ms (3.1%)

prune788.0ms (4.9%)

localize19.0ms (0.1%)

series300.0ms (1.9%)

rewrite43.0ms (0.3%)

simplify187.0ms (1.2%)

prune235.0ms (1.5%)

regimes6.8s (41.9%)

bsearch14.0ms (0.1%)

simplify6.0ms (0%)

end257.0ms (1.6%)

Profiling