Details

analyze730.0ms (7.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
12.5%	87.4%	0.1%	7
15.6%	84.3%	0.1%	8
18.7%	71.8%	9.5%	9
23.4%	56%	20.6%	10
26.3%	52.2%	21.5%	11
31%	40.1%	28.9%	12
35.6%	28.9%	35.5%	13
36.8%	27.5%	35.7%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.4s (14.8%)

Symmetry

(sort x y z)

Results

1.1s	8256×	body	128	valid
296.0ms	2433×	body	128	invalid

Compiler

Compiled 53 to 35 computations (34% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

25×	`fma-def_binary64`
8×	`+-commutative_binary64`
8×	`*-commutative_binary64`
5×	`distribute-rgt-out_binary64`
3×	`associate-+r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	23	16
2	43	16
3	59	16
4	61	16
5	62	16
6	62	16

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

21.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	21.4b	(.f64 2 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))

Compiler

Compiled 56 to 34 computations (39.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x (+.f64 y z) (*.f64 y z))
✓	20.3b	(sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))

series224.0ms (2.3%)

Counts

2 → 48

Calls

2 calls:

216.0ms	(sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))
8.0ms	(fma.f64 x (+.f64 y z) (*.f64 y z))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64`
3×	`*-un-lft-identity_binary64`
3×	`sqrt-prod_binary64`
3×	`add-cube-cbrt_binary64`
3×	`pow1_binary64`

Counts

2 → 25

Calls

2 calls:

3.0ms	(sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))
0.0ms	(fma.f64 x (+.f64 y z) (*.f64 y z))

simplify77.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

631×	`associate-l_binary64`
605×	`cancel-sign-sub-inv_binary64`
565×	`associate-r_binary64`
297×	`fma-neg_binary64`
197×	`fma-def_binary64`

Counts

73 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	214	1615
1	531	1523
2	1873	1478
3	4933	1478
4	5115	1478

prune81.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	61	9	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	9	71

Error

20.8b

Counts

71 → 9

Alt Table

Status	Error	Program
	43.7b	(.f64 2 (sqrt.f64 (.f64 (+.f64 y z) x)))
	47.6b	(.f64 2 (fma.f64 1/2 (.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x))))
	63.3b	(.f64 2 (+.f64 (sqrt.f64 (.f64 z x)) (.f64 y (.f64 1/2 (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))))
▶	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))))
	21.8b	(.f64 2 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))))
	33.2b	(.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) 3)))
	48.3b	(.f64 2 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (+.f64 y z) (.f64 y z)) (fma.f64 x (+.f64 y z) (.f64 y z))) (fma.f64 x (+.f64 y z) (.f64 y z))))))
	24.4b	(.f64 2 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))))
	39.7b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))

Compiler

Compiled 2306 to 1123 computations (51.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x (+.f64 y z) (*.f64 y z))
✓	0.1b	(sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))
✓	0.5b	(.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))
	20.3b	(sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))

series289.0ms (3%)

Counts

2 → 48

Calls

2 calls:

216.0ms	(.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))
73.0ms	(sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`sqrt-prod_binary64`
64×	`add-sqr-sqrt_binary64`
36×	`sqrt-pow1_binary64`
27×	`pow1_binary64`
18×	`rem-sqrt-square_binary64`

Counts

2 → 106

Calls

2 calls:

12.0ms	(.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))
1.0ms	(sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))

simplify107.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

472×	`associate-l_binary64`
445×	`fma-def_binary64`
385×	`times-frac_binary64`
317×	`associate-/r*_binary64`
244×	`associate-/l*_binary64`

Counts

154 → 185

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	573	6013
1	1686	5614
2	5360	5614

prune506.0ms (5.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	406	7	413
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	411	11	422

Error

20.8b

Counts

422 → 11

Alt Table

Status	Error	Program
	47.6b	(.f64 2 (fma.f64 1/2 (.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x))))
	42.8b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (exp.f64 (.f64 1/4 (-.f64 (log.f64 (+.f64 z x)) (log.f64 (/.f64 1 y)))))))
	43.7b	(.f64 2 (sqrt.f64 (.f64 (+.f64 y z) x)))
	43.5b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (+.f64 z x)) (log.f64 y)))))
▶	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))))))))
	63.3b	(.f64 2 (+.f64 (sqrt.f64 (.f64 z x)) (.f64 y (.f64 1/2 (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))))
	46.1b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (+.f64 y z))) (log.f64 (/.f64 -1 x)))))))
	21.8b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))) (.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	41.6b	(.f64 2 (pow.f64 (.f64 (fma.f64 x (+.f64 y z) (.f64 y z)) (fma.f64 x (+.f64 y z) (.f64 y z))) (/.f64 1/2 2)))
	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	39.7b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))

Compiler

Compiled 20569 to 8696 computations (57.7% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))))
✓	20.3b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))
	20.3b	(sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))
✓	20.8b	(cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))

series554.0ms (5.7%)

Counts

3 → 84

Calls

3 calls:

271.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))))

209.0ms

(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))

73.0ms

(cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))

rewrite37.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`pow1_binary64`
31×	`sqrt-pow1_binary64`
25×	`sqrt-prod_binary64`
25×	`add-sqr-sqrt_binary64`
15×	`pow-prod-down_binary64`

Counts

3 → 83

Calls

3 calls:

15.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))))

7.0ms

(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))))

1.0ms

(cbrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))

simplify288.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

846×	`fma-def_binary64`
446×	`*-commutative_binary64`
190×	`+-commutative_binary64`
161×	`associate-r_binary64`
139×	`sub-neg_binary64`

Counts

167 → 254

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1057	13862
1	3696	13359
2	4981	13359

prune1.0s (10.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	479	7	486
Fresh	5	5	10
Picked	0	1	1
Done	0	0	0
Total	484	13	497

Error

5.9b

Counts

497 → 13

Alt Table

Status	Error	Program
	43.8b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 y z) 2)) (*.f64 2 (log.f64 (/.f64 -1 x)))))))
	41.4b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (pow.f64 (.f64 y z) 1/3))))))
✓	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))))))))
▶	21.4b	(.f64 2 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (sqrt.f64 (fma.f64 x (+.f64 z y) (.f64 z y))))))
	46.1b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (+.f64 y z))) (log.f64 (/.f64 -1 x)))))))
	21.8b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))) (.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	41.6b	(.f64 2 (pow.f64 (.f64 (fma.f64 x (+.f64 y z) (.f64 y z)) (fma.f64 x (+.f64 y z) (.f64 y z))) (/.f64 1/2 2)))
	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	32.6b	(.f64 2 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 (+.f64 x y)) (.f64 -2 (neg.f64 (log.f64 z))))))
	42.4b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 y x) 2)) (*.f64 2 (log.f64 (/.f64 1 z)))))))
	54.9b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 z x) 2)) (*.f64 2 (log.f64 (/.f64 -1 y)))))))
	39.7b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))
	51.8b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 z x) 2)) (*.f64 2 (log.f64 (/.f64 1 y)))))))

Compiler

Compiled 41640 to 17081 computations (59% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(fma.f64 x y (*.f64 z (+.f64 x y)))
✓	20.3b	(sqrt.f64 (fma.f64 x y (*.f64 z (+.f64 x y))))
✓	20.3b	(sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))
✓	20.3b	(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))))

series756.0ms (7.8%)

Counts

4 → 96

Calls

4 calls:

319.0ms	(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))))
215.0ms	(sqrt.f64 (fma.f64 x y (*.f64 z (+.f64 x y))))
208.0ms	(sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))
13.0ms	(fma.f64 x y (*.f64 z (+.f64 x y)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64`
8×	`sqrt-pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64`

Counts

4 → 55

Calls

4 calls:

5.0ms	(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))))
1.0ms	(sqrt.f64 (fma.f64 x (+.f64 z y) (*.f64 z y)))
1.0ms	(sqrt.f64 (fma.f64 x y (*.f64 z (+.f64 x y))))
0.0ms	(fma.f64 x y (*.f64 z (+.f64 x y)))

simplify192.0ms (2%)

Algorithm

1×	egg-herbie

Rules

980×	`associate-/l*_binary64`
586×	`fma-def_binary64`
317×	`*-commutative_binary64`
139×	`+-commutative_binary64`
111×	`associate-r_binary64`

Counts

151 → 165

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	741	10914
1	2614	10017
2	5400	10017

prune262.0ms (2.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	163	2	165
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	165	13	178

Error

5.9b

Counts

178 → 13

Alt Table

Status	Error	Program
	43.8b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 y z) 2)) (*.f64 2 (log.f64 (/.f64 -1 x)))))))
	41.4b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (pow.f64 (.f64 y z) 1/3))))))
✓	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x))))) (cbrt.f64 (fma.f64 y x (.f64 z (+.f64 y x)))))))))
	41.6b	(.f64 2 (pow.f64 (.f64 (fma.f64 x y (.f64 z (+.f64 x y))) (fma.f64 x (+.f64 z y) (.f64 z y))) 1/4))
	32.6b	(.f64 2 (pow.f64 (exp.f64 1/4) (.f64 2 (-.f64 (log.f64 (+.f64 y x)) (neg.f64 (log.f64 z))))))
	46.1b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))) (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (+.f64 y z))) (log.f64 (/.f64 -1 x)))))))
✓	21.4b	(.f64 2 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (sqrt.f64 (fma.f64 x (+.f64 z y) (.f64 z y))))))
	21.8b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))) (.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	21.7b	(.f64 2 (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z))))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (.f64 y z)))))))
	42.4b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 y x) 2)) (*.f64 2 (log.f64 (/.f64 1 z)))))))
	54.9b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 z x) 2)) (*.f64 2 (log.f64 (/.f64 -1 y)))))))
	39.7b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))
	51.8b	(.f64 2 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (pow.f64 (+.f64 z x) 2)) (*.f64 2 (log.f64 (/.f64 1 y)))))))

Compiler

Compiled 13119 to 7197 computations (45.1% saved)

regimes2.1s (22%)

Accuracy

Total 2.9b remaining (28.3%)

Threshold costs 0b (0%)

Counts

185 → 3

Compiler

Compiled 30494 to 17510 computations (42.6% saved)

bsearch130.0ms (1.3%)

Steps

Iters	Range		Point
6	1.923499127735901e+52	1.5557450598199996e+53	1.5331640059391025e+53
6	-2.3625376731254413e+59	-1.7139455398742655e+58	-2.3027336494487103e+59

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
7×	`+-commutative_binary64`
7×	`cancel-sign-sub-inv_binary64`
6×	`sub-neg_binary64`
5×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	80
1	57	78
2	71	78
3	83	78
4	88	78
5	89	78
6	84	78

end768.0ms (7.9%)

Compiler: Compiled 585 to 375 computations (35.9% saved)

Details

analyze730.0ms (7.5%)

sample1.4s (14.8%)

simplify8.0ms (0.1%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series224.0ms (2.3%)

rewrite5.0ms (0%)

simplify77.0ms (0.8%)

prune81.0ms (0.8%)

localize9.0ms (0.1%)

series289.0ms (3%)

rewrite27.0ms (0.3%)

simplify107.0ms (1.1%)

prune506.0ms (5.2%)

localize20.0ms (0.2%)

series554.0ms (5.7%)

rewrite37.0ms (0.4%)

simplify288.0ms (2.9%)

prune1.0s (10.8%)

localize14.0ms (0.1%)

series756.0ms (7.8%)

rewrite9.0ms (0.1%)

simplify192.0ms (2%)

prune262.0ms (2.7%)

regimes2.1s (22%)

bsearch130.0ms (1.3%)

simplify7.0ms (0.1%)

end768.0ms (7.9%)

Profiling