Details

analyze991.0ms (8.2%)

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%	74.9%	25.1%	8
6.2%	68.6%	25.1%	9
7.8%	67.1%	25.1%	10
10.1%	64.7%	25.1%	11
14.8%	47.6%	37.6%	12
15.8%	36.8%	47.4%	13
16.6%	35.1%	48.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample3.4s (27.9%)

Results

2.0s	10897×	body	128	invalid
1.3s	8256×	body	128	valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify127.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

898×	`fma-neg_binary64`
522×	`fma-def_binary64`
417×	`neg-sub0_binary64`
408×	`neg-mul-1_binary64`
378×	`prod-exp_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	25
2	51	25
3	102	25
4	219	25
5	464	25
6	1225	25
7	2416	25
8	3703	25
9	4714	25
10	4874	25
11	4224	25
12	4608	25
13	4555	25
14	4942	25

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

0.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
▶	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 119 to 89 computations (25.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
✓	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.0b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.2b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))

series243.0ms (2%)

Counts

4 → 68

Calls

4 calls:

207.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
30.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
3.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
3.0ms	(sqrt.f64 (exp.f64 t))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
14×	`associate-r_binary64`

Counts

4 → 100

Calls

4 calls:

10.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
7.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
3.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
2.0ms	(sqrt.f64 (exp.f64 t))

simplify126.0ms (1%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-def_binary64`
434×	`fma-neg_binary64`
304×	`associate-l_binary64`
286×	`associate-r_binary64`
259×	`distribute-rgt-in_binary64`

Counts

168 → 170

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	4050
1	552	3586
2	1965	3419
3	4719	3419
4	4990	3419

prune212.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	161	9	170
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	163	9	172

Error

0.0b

Counts

172 → 9

Alt Table

Status	Error	Program
	0.6b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.0b	(-.f64 (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))
▶	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t))
	1.4b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (.f64 (cbrt.f64 (sqrt.f64 (.f64 z 2))) (cbrt.f64 (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	28.1b	(.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.6b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	28.4b	(.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.3b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (cbrt.f64 (-.f64 (.f64 x 1/2) y))) (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	31.6b	(.f64 (/.f64 (.f64 (sqrt.f64 (.f64 2 z)) (-.f64 (.f64 x (.f64 1/4 x)) (.f64 y y))) (+.f64 (*.f64 x 1/2) y)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 4692 to 2750 computations (41.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t))
	0.0b	(sqrt.f64 (exp.f64 t))
	0.2b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
✓	6.0b	(log.f64 (sqrt.f64 (exp.f64 t)))

series398.0ms (3.3%)

Counts

2 → 40

Calls

2 calls:

209.0ms	(log.f64 (sqrt.f64 (exp.f64 t)))
189.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64`
13×	`associate-r_binary64`
12×	`log-prod_binary64`
9×	`unpow-prod-down_binary64`
9×	`prod-exp_binary64`

Counts

2 → 56

Calls

2 calls:

14.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t))
2.0ms	(log.f64 (sqrt.f64 (exp.f64 t)))

simplify106.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

578×	`fma-def_binary64`
373×	`sub-neg_binary64`
269×	`cancel-sign-sub-inv_binary64`
258×	`associate-l_binary64`
244×	`associate-r_binary64`

Counts

96 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	2783
1	459	2546
2	1592	2383
3	4578	2383
4	5203	2383

prune206.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	168	9	177

Error

0.0b

Counts

177 → 9

Alt Table

Status	Error	Program
	0.6b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.0b	(-.f64 (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))
	28.1b	(.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.6b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
▶	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))
	1.4b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (.f64 (cbrt.f64 (sqrt.f64 (.f64 z 2))) (cbrt.f64 (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	28.4b	(.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.3b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (cbrt.f64 (-.f64 (.f64 x 1/2) y))) (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	31.6b	(.f64 (/.f64 (.f64 (sqrt.f64 (.f64 2 z)) (-.f64 (.f64 x (.f64 1/4 x)) (.f64 y y))) (+.f64 (*.f64 x 1/2) y)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 4988 to 2824 computations (43.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.0b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))
	0.2b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
	6.0b	(log.f64 (sqrt.f64 (exp.f64 t)))

series196.0ms (1.6%)

Counts

1 → 36

Calls

1 calls:

196.0ms

(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))

rewrite45.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-exp-log_binary64`
19×	`pow1_binary64`
16×	`associate-r_binary64`
13×	`cbrt-prod_binary64`
13×	`cbrt-unprod_binary64`

Counts

1 → 44

Calls

1 calls:

33.0ms

(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Rules

583×	`fma-def_binary64`
429×	`fma-neg_binary64`
422×	`associate-l_binary64`
356×	`associate-r_binary64`
273×	`cancel-sign-sub-inv_binary64`

Counts

80 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	3412
1	503	2992
2	1996	2829
3	4629	2829
4	5024	2829

prune375.0ms (3.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	285	1	286
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	286	9	295

Error

0.0b

Counts

295 → 9

Alt Table

Status	Error	Program
	0.6b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.0b	(-.f64 (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))
	1.4b	(.f64 (.f64 (.f64 (.f64 (-.f64 (.f64 1/2 x) y) (.f64 (cbrt.f64 (sqrt.f64 (.f64 2 z))) (cbrt.f64 (sqrt.f64 (.f64 2 z))))) (cbrt.f64 (sqrt.f64 (.f64 z 2)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))
	31.6b	(.f64 (/.f64 (.f64 (sqrt.f64 (.f64 2 z)) (-.f64 (.f64 x (.f64 1/4 x)) (.f64 y y))) (+.f64 (*.f64 x 1/2) y)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	28.1b	(.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (sqrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
▶	0.6b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))
	28.4b	(.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (.f64 (sqrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.3b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (cbrt.f64 (-.f64 (.f64 x 1/2) y))) (.f64 (cbrt.f64 (-.f64 (.f64 x 1/2) y)) (sqrt.f64 (.f64 z 2)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 12811 to 4749 computations (62.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.3b	(.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))
✓	0.5b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)))

series288.0ms (2.4%)

Counts

3 → 84

Calls

3 calls:

226.0ms

(*.f64 (*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

36.0ms

(*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)))

26.0ms

(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))

rewrite40.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`distribute-lft-in_binary64`
35×	`distribute-rgt-in_binary64`
34×	`add-exp-log_binary64`
27×	`add-sqr-sqrt_binary64`
23×	`*-un-lft-identity_binary64`

Counts

3 → 128

Calls

3 calls:

12.0ms

(*.f64 (*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

10.0ms

(*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)))

7.0ms

(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))

simplify135.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-l_binary64`
565×	`associate-r_binary64`
488×	`distribute-rgt-in_binary64`
329×	`cancel-sign-sub-inv_binary64`
293×	`fma-neg_binary64`

Counts

212 → 186

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	5929
1	623	5031
2	2710	4816
3	4986	4816

prune226.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	209	3	212
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	215	6	221

Error

0.0b

Counts

221 → 6

Alt Table

Status	Error	Program
	0.7b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (sqrt.f64 z)) (.f64 (sqrt.f64 (sqrt.f64 z)) (-.f64 (*.f64 1/2 x) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))
	1.0b	(-.f64 (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))
	0.5b	(.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 z) (.f64 (-.f64 (*.f64 1/2 x) y) (sqrt.f64 (sqrt.f64 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.5b	(.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.4b	(.f64 (.f64 (.f64 (.f64 (-.f64 (.f64 1/2 x) y) (.f64 (cbrt.f64 (sqrt.f64 (.f64 2 z))) (cbrt.f64 (sqrt.f64 (.f64 2 z))))) (cbrt.f64 (sqrt.f64 (.f64 z 2)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))) (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (sqrt.f64 (exp.f64 t)))) t)))

Compiler

Compiled 5891 to 2977 computations (49.5% saved)

regimes4.5s (37.5%)

Accuracy

Total 0.3b remaining (88.3%)

Threshold costs 0.3b (88.3%)

Counts

282 → 1

Compiler

Compiled 102062 to 73795 computations (27.7% saved)

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	26
1	22	26
2	27	26
3	29	26
4	30	26
5	30	26

end185.0ms (1.5%)

Compiler: Compiled 264 to 179 computations (32.2% saved)

Details

analyze991.0ms (8.2%)

sample3.4s (27.9%)

simplify127.0ms (1.1%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series243.0ms (2%)

rewrite28.0ms (0.2%)

simplify126.0ms (1%)

prune212.0ms (1.8%)

localize15.0ms (0.1%)

series398.0ms (3.3%)

rewrite21.0ms (0.2%)

simplify106.0ms (0.9%)

prune206.0ms (1.7%)

localize18.0ms (0.1%)

series196.0ms (1.6%)

rewrite45.0ms (0.4%)

simplify116.0ms (1%)

prune375.0ms (3.1%)

localize17.0ms (0.1%)

series288.0ms (2.4%)

rewrite40.0ms (0.3%)

simplify135.0ms (1.1%)

prune226.0ms (1.9%)

regimes4.5s (37.5%)

simplify35.0ms (0.3%)

end185.0ms (1.5%)

Profiling