Details

analyze1.3s (9.3%)

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
0%	74.9%	25.1%	9
0%	74.9%	25.1%	10
0%	74.9%	25.1%	11
0%	62.4%	37.6%	12
0%	57.5%	42.5%	13
0%	57%	43%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample8.1s (57.6%)

Results

5.4s	5110×	body	8192	exit
1.4s	8256×	body	128	valid
1.3s	7620×	body	128	invalid

Compiler

Compiled 43 to 33 computations (23.3% saved)

simplify129.0ms (0.9%)

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

prune5.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)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.0b	(pow.f64 (sqrt.f64 (exp.f64 t)) 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.3b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))

series252.0ms (1.8%)

Counts

4 → 68

Calls

4 calls:

215.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
31.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
4.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
2.0ms	(sqrt.f64 (exp.f64 t))

rewrite33.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:

14.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
6.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
3.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
1.0ms	(sqrt.f64 (exp.f64 t))

simplify126.0ms (0.9%)

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

prune194.0ms (1.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	159	11	170
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	160	12	172

Error

0.0b

Counts

172 → 12

Alt Table

Status	Error	Program
	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))
	33.4b	(.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
▶	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
	0.5b	(.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 1/2 x) y) (sqrt.f64 (*.f64 2 z))) (pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t))
	32.0b	(.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 (.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))
	32.7b	(.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))
	46.4b	(.f64 (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x 1/2) 3) (pow.f64 y 3)) (sqrt.f64 (.f64 z 2))) (+.f64 (.f64 (.f64 x 1/2) (.f64 x 1/2)) (+.f64 (.f64 y y) (.f64 (.f64 x 1/2) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.2b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.6b	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (sqrt.f64 2) (-.f64 (.f64 1/2 x) y))))
	34.4b	(exp.f64 (log.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (.f64 2 z))))))

Compiler

Compiled 4818 to 2845 computations (41% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series103.0ms (0.7%)

Counts

3 → 60

Calls

3 calls:

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

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

simplify109.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

659×	`fma-def_binary64`
444×	`fma-neg_binary64`
270×	`cancel-sign-sub-inv_binary64`
253×	`associate-l_binary64`
233×	`associate-r_binary64`

Counts

123 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	196	3123
1	499	2784
2	1700	2237
3	4623	2235
4	4979	2235

prune232.0ms (1.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	173	12	185

Error

0.0b

Counts

185 → 12

Alt Table

Status	Error	Program
	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))
	33.4b	(.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
	0.5b	(.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 1/2 x) y) (sqrt.f64 (*.f64 2 z))) (pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t))
	32.0b	(.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 (.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))
	32.7b	(.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))
	46.4b	(.f64 (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x 1/2) 3) (pow.f64 y 3)) (sqrt.f64 (.f64 z 2))) (+.f64 (.f64 (.f64 x 1/2) (.f64 x 1/2)) (+.f64 (.f64 y y) (.f64 (.f64 x 1/2) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.2b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.6b	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (sqrt.f64 2) (-.f64 (.f64 1/2 x) y))))
	34.4b	(exp.f64 (log.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (.f64 2 z))))))

Compiler

Compiled 4923 to 3326 computations (32.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series263.0ms (1.9%)

Counts

4 → 60

Calls

4 calls:

214.0ms	(cbrt.f64 (exp.f64 t))
38.0ms	(.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (*.f64 2 z)))
7.0ms	(pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)
3.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t)

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`unpow-prod-down_binary64`
19×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
10×	`cbrt-prod_binary64`

Counts

4 → 92

Calls

4 calls:

7.0ms	(.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (*.f64 2 z)))
3.0ms	(pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)
3.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t)
1.0ms	(cbrt.f64 (exp.f64 t))

simplify166.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

360×	`unswap-sqr_binary64`
346×	`log-prod_binary64`
293×	`fma-def_binary64`
285×	`*-commutative_binary64`
282×	`exp-prod_binary64`

Counts

152 → 158

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2405
1	432	2023
2	1133	1972
3	2623	1960
4	4271	1960
5	4889	1960
6	4982	1960
7	5016	1960

prune269.0ms (1.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	183	12	195

Error

0.0b

Counts

195 → 12

Alt Table

Status	Error	Program
	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))
	33.4b	(.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
▶	0.5b	(.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 1/2 x) y) (sqrt.f64 (*.f64 2 z))) (pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t))
	32.0b	(.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 (.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))
	32.7b	(.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))
	46.4b	(.f64 (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x 1/2) 3) (pow.f64 y 3)) (sqrt.f64 (.f64 z 2))) (+.f64 (.f64 (.f64 x 1/2) (.f64 x 1/2)) (+.f64 (.f64 y y) (.f64 (.f64 x 1/2) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.2b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	0.6b	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (sqrt.f64 2) (-.f64 (.f64 1/2 x) y))))
	34.4b	(exp.f64 (log.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (.f64 2 z))))))

Compiler

Compiled 6142 to 3038 computations (50.5% 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	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.2b	(.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))
✓	0.4b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)))

series263.0ms (1.9%)

Counts

3 → 84

Calls

3 calls:

206.0ms

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

33.0ms

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

23.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:

13.0ms

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

9.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))

simplify132.0ms (0.9%)

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

prune224.0ms (1.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	222	4	226
Fresh	5	4	9
Picked	1	0	1
Done	0	2	2
Total	228	10	238

Error

Counts

238 → 10

Alt Table

Status	Error	Program
	0.5b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (-.f64 (.f64 1/2 x) y))))
✓	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (*.f64 2 z))) (pow.f64 (fabs.f64 (cbrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (cbrt.f64 (exp.f64 t))) t))
	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))
	32.7b	(.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))
✓	0.3b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
	1.2b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2)))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (cbrt.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	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))
	0.5b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y)))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	34.4b	(exp.f64 (log.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (.f64 2 z))))))

Compiler

Compiled 6265 to 3182 computations (49.2% saved)

regimes1.8s (13%)

Accuracy

Total 0.3b remaining (92.6%)

Threshold costs 0.3b (92.6%)

Counts

104 → 1

Compiler

Compiled 35342 to 26277 computations (25.6% saved)

simplify3.0ms (0%)

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	25
1	22	25
2	27	25
3	29	25
4	30	25
5	30	25

end195.0ms (1.4%)

Compiler: Compiled 314 to 241 computations (23.2% saved)

Details

analyze1.3s (9.3%)

sample8.1s (57.6%)

simplify129.0ms (0.9%)

prune5.0ms (0%)

localize12.0ms (0.1%)

series252.0ms (1.8%)

rewrite33.0ms (0.2%)

simplify126.0ms (0.9%)

prune194.0ms (1.4%)

localize13.0ms (0.1%)

series103.0ms (0.7%)

rewrite19.0ms (0.1%)

simplify109.0ms (0.8%)

prune232.0ms (1.6%)

localize17.0ms (0.1%)

series263.0ms (1.9%)

rewrite18.0ms (0.1%)

simplify166.0ms (1.2%)

prune269.0ms (1.9%)

localize14.0ms (0.1%)

series263.0ms (1.9%)

rewrite40.0ms (0.3%)

simplify132.0ms (0.9%)

prune224.0ms (1.6%)

regimes1.8s (13%)

simplify3.0ms (0%)

end195.0ms (1.4%)

Profiling