Details

analyze948.0ms (5.6%)

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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.5%	76.8%	3.7%	12
25.7%	64.7%	9.6%	13
31.6%	54.7%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (7.2%)

Results

852.0ms	8256×	body	128	valid
284.0ms	2715×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify182.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-neg_binary64`
697×	`fma-def_binary64`
683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	105	11
4	335	11
5	850	11
6	1678	11
7	1991	11
8	2282	11
9	2193	11
10	2201	11
11	2201	11
12	2202	11
13	2172	11
14	2172	11
15	4437	11
16	4437	11
17	4437	11
18	4378	11

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

0.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 71 to 39 computations (45.1% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

series15.0ms (0.1%)

Counts

1 → 48

Calls

1 calls:

15.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
395×	`exp-diff_binary64`
356×	`unsub-neg_binary64`
333×	`exp-prod_binary64`
328×	`distribute-neg-out_binary64`

Counts

58 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	954
1	144	926
2	355	926
3	837	628
4	2944	628
5	4449	628
6	4978	628

prune24.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	36	3	39

Error

0.0b

Counts

39 → 3

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
	45.1b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 t x) (-.f64 y z) x) 3))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 491 to 142 computations (71.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 z x) x)
✓	0.0b	(+.f64 (.f64 y x) (.f64 t z))
✓	0.0b	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

series38.0ms (0.2%)

Counts

4 → 87

Calls

4 calls:

17.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
10.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
8.0ms	(+.f64 (.f64 y x) (.f64 t z))
4.0ms	(+.f64 (*.f64 z x) x)

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-log-exp_binary64`
15×	`*-un-lft-identity_binary64`
14×	`sum-log_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`

Counts

4 → 87

Calls

4 calls:

10.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
5.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
3.0ms	(+.f64 (.f64 y x) (.f64 t z))
3.0ms	(+.f64 (*.f64 z x) x)

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-neg_binary64`
411×	`cancel-sign-sub-inv_binary64`
239×	`distribute-rgt-neg-in_binary64`
204×	`associate-l_binary64`
202×	`distribute-lft-neg-in_binary64`

Counts

174 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	2841
1	581	2709
2	2510	2561
3	4444	2561
4	4931	2561

prune107.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	170	4	174

Error

Counts

174 → 4

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	48.7b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))
▶	47.4b	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))

Compiler

Compiled 5127 to 753 computations (85.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y)))))
✓	1.7b	(+.f64 (pow.f64 (*.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3))
✓	13.5b	(-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (*.f64 x y))))
✓	45.0b	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))

series3.1s (18.3%)

Counts

4 → 192

Calls

4 calls:

2.6s	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))
292.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y)))))
183.0ms	(-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (*.f64 x y))))
72.0ms	(+.f64 (pow.f64 (*.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3))

rewrite74.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
18×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
15×	`prod-diff_binary64`
14×	`flip--_binary64`

Counts

4 → 128

Calls

4 calls:

18.0ms	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))
14.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y)))))
9.0ms	(-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (*.f64 x y))))
8.0ms	(+.f64 (pow.f64 (*.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3))

simplify580.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

868×	`associate-+r+_binary64`
657×	`fma-def_binary64`
276×	`associate-r_binary64`
268×	`associate-/l*_binary64`
170×	`associate-*r/_binary64`

Counts

320 → 412

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2046	59092
1	6207	59092

prune1.1s (6.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	412	0	412
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	412	4	416

Error

Counts

416 → 4

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	48.7b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))
✓	47.4b	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))

Compiler

Compiled 85436 to 35145 computations (58.9% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z)))))
✓	4.8b	(.f64 (.f64 y x) (*.f64 t z))
✓	15.8b	(-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (*.f64 t z) 3))))
✓	45.9b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))

series4.1s (23.9%)

Counts

4 → 192

Calls

4 calls:

3.5s	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))
403.0ms	(-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (*.f64 t z) 3))))
132.0ms	(.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z)))))
19.0ms	(.f64 (.f64 y x) (*.f64 t z))

rewrite252.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

136×	`frac-times_binary64`
128×	`frac-sub_binary64`
104×	`flip--_binary64`
104×	`flip3--_binary64`
102×	`flip-+_binary64`

Counts

4 → 237

Calls

4 calls:

42.0ms	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))
19.0ms	(-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (*.f64 t z) 3))))
15.0ms	(.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z)))))
6.0ms	(.f64 (.f64 y x) (*.f64 t z))

simplify818.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

761×	`fma-def_binary64`
366×	`times-frac_binary64`
148×	`sub-neg_binary64`
88×	`fma-neg_binary64`
18×	`cube-mult_binary64`

Counts

429 → 587

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3173	86844
1	5054	86844

prune3.5s (20.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	609	0	609
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	609	4	613

Error

Counts

613 → 4

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	48.7b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 y t) (.f64 y t)) (.f64 (+.f64 (.f64 z x) x) (+.f64 (.f64 z x) x))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (.f64 t z) 3)))) (.f64 (-.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z))))))
✓	47.4b	(/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (+.f64 (pow.f64 (.f64 t y) 3) (pow.f64 (fma.f64 z x x) 3)) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (fma.f64 z t (.f64 x y))))) (.f64 (fma.f64 (fma.f64 z x x) (-.f64 (fma.f64 z x x) (.f64 t y)) (.f64 (.f64 t y) (.f64 t y))) (-.f64 (.f64 x y) (*.f64 z t))))

Compiler

Compiled 161466 to 42480 computations (73.7% saved)

regimes628.0ms (3.7%)

Accuracy

Total 0.0b remaining (68.8%)

Threshold costs 0.0b (68.8%)

Counts

89 → 1

Compiler

Compiled 19742 to 8261 computations (58.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`+-rgt-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	16	19
2	20	19
3	22	19
4	23	19
5	23	19

end83.0ms (0.5%)

Compiler: Compiled 253 to 88 computations (65.2% saved)

Details

analyze948.0ms (5.6%)

sample1.2s (7.2%)

simplify182.0ms (1.1%)

prune3.0ms (0%)

localize5.0ms (0%)

series15.0ms (0.1%)

rewrite1.0ms (0%)

simplify71.0ms (0.4%)

prune24.0ms (0.1%)

localize10.0ms (0.1%)

series38.0ms (0.2%)

rewrite27.0ms (0.2%)

simplify99.0ms (0.6%)

prune107.0ms (0.6%)

localize22.0ms (0.1%)

series3.1s (18.3%)

rewrite74.0ms (0.4%)

simplify580.0ms (3.4%)

prune1.1s (6.4%)

localize29.0ms (0.2%)

series4.1s (23.9%)

rewrite252.0ms (1.5%)

simplify818.0ms (4.8%)

prune3.5s (20.7%)

regimes628.0ms (3.7%)

simplify3.0ms (0%)

end83.0ms (0.5%)

Profiling