Details

analyze917.0ms (6.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%	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)

sample130.0ms (0.9%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
15.0ms	233×	body	128	invalid
10.0ms	149×	body	128	nan

Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify127.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

prune4.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

0.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 77 to 57 computations (26% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.2b	(.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)))

series229.0ms (1.6%)

Counts

3 → 64

Calls

3 calls:

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

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 72

Calls

3 calls:

9.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	(sqrt.f64 (exp.f64 t))

simplify118.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-neg_binary64`
658×	`fma-def_binary64`
291×	`associate-l_binary64`
267×	`associate-r_binary64`
256×	`distribute-rgt-in_binary64`

Counts

136 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	3670
1	495	3220
2	1783	3055
3	4590	3055
4	5133	3055

prune157.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	124	7	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	7	132

Error

0.0b

Counts

132 → 7

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t))
	0.8b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.5b	(.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.9b	(-.f64 (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 t 4) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/96 (.f64 (.f64 (pow.f64 t 6) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))))) (+.f64 (.f64 1/8 (.f64 (.f64 y (.f64 (pow.f64 t 4) (sqrt.f64 2))) (sqrt.f64 z))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (+.f64 (.f64 1/48 (.f64 (.f64 y (.f64 (pow.f64 t 6) (sqrt.f64 2))) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))))
	0.8b	(.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))
	31.9b	(.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.6b	(.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 3881 to 2301 computations (40.7% saved)

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

series524.0ms (3.8%)

Counts

2 → 48

Calls

2 calls:

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

rewrite66.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-exp-log_binary64`
48×	`prod-exp_binary64`
19×	`sqrt-prod_binary64`
13×	`associate-r_binary64`
13×	`pow-exp_binary64`

Counts

2 → 74

Calls

2 calls:

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

simplify309.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

646×	`fma-def_binary64`
429×	`fma-neg_binary64`
379×	`associate-l_binary64`
308×	`associate-r_binary64`
269×	`cancel-sign-sub-inv_binary64`

Counts

122 → 107

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	3921
1	548	3601
2	1984	3266
3	4739	3266
4	4967	3266

prune326.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	240	0	240
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	240	7	247

Error

0.0b

Counts

247 → 7

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t))
▶	0.8b	(.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.5b	(.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.9b	(-.f64 (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 t 4) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/96 (.f64 (.f64 (pow.f64 t 6) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))))) (+.f64 (.f64 1/8 (.f64 (.f64 y (.f64 (pow.f64 t 4) (sqrt.f64 2))) (sqrt.f64 z))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (+.f64 (.f64 1/48 (.f64 (.f64 y (.f64 (pow.f64 t 6) (sqrt.f64 2))) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))))
	0.8b	(.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))
	31.9b	(.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.6b	(.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 8004 to 3935 computations (50.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (exp.f64 t))
✓	0.2b	(.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 (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)))

series252.0ms (1.8%)

Counts

3 → 84

Calls

3 calls:

194.0ms

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

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

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

14.0ms

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

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

simplify124.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

prune436.0ms (3.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	209	3	212
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	212	7	219

Error

0.0b

Counts

219 → 7

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t))
	1.5b	(.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2))) (.f64 (sqrt.f64 z) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (cbrt.f64 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
	1.5b	(.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.8b	(.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.9b	(-.f64 (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 t 4) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/4 (.f64 (.f64 (pow.f64 t 2) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (+.f64 (.f64 1/96 (.f64 (.f64 (pow.f64 t 6) (.f64 (sqrt.f64 2) x)) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) x) (sqrt.f64 z)))))) (+.f64 (.f64 1/8 (.f64 (.f64 y (.f64 (pow.f64 t 4) (sqrt.f64 2))) (sqrt.f64 z))) (+.f64 (.f64 (.f64 y (sqrt.f64 2)) (sqrt.f64 z)) (+.f64 (.f64 1/48 (.f64 (.f64 y (.f64 (pow.f64 t 6) (sqrt.f64 2))) (sqrt.f64 z))) (.f64 1/2 (.f64 (.f64 y (*.f64 (pow.f64 t 2) (sqrt.f64 2))) (sqrt.f64 z)))))))
	31.9b	(.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.8b	(.f64 (+.f64 (.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (sqrt.f64 2)) (.f64 (.f64 (neg.f64 y) (sqrt.f64 z)) (sqrt.f64 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 6219 to 3241 computations (47.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series254.0ms (1.8%)

Counts

3 → 84

Calls

3 calls:

189.0ms

(*.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))

34.0ms

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

31.0ms

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

rewrite63.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

112×	`distribute-lft-in_binary64`
112×	`distribute-rgt-in_binary64`
55×	`add-exp-log_binary64`
39×	`prod-exp_binary64`
36×	`cancel-sign-sub-inv_binary64`

Counts

3 → 182

Calls

3 calls:

18.0ms

(*.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))

14.0ms

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

10.0ms

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

simplify223.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

775×	`associate-l_binary64`
668×	`associate-r_binary64`
388×	`fma-neg_binary64`
365×	`cancel-sign-sub-inv_binary64`
348×	`*-commutative_binary64`

Counts

266 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	393	8337
1	699	7247
2	3031	7135
3	4719	7135
4	5212	7135

prune337.0ms (2.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	288	1	289
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	289	7	296

Error

0.0b

Counts

296 → 7

Alt Table

Status	Error	Program
	0.9b	(-.f64 (+.f64 (.f64 (sqrt.f64 z) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 2) x)) (.f64 1/96 (.f64 (.f64 (sqrt.f64 2) x) (pow.f64 t 6))))) (.f64 (sqrt.f64 z) (+.f64 (.f64 1/16 (.f64 (.f64 (sqrt.f64 2) x) (pow.f64 t 4))) (.f64 1/4 (.f64 (.f64 (sqrt.f64 2) x) (.f64 t t)))))) (+.f64 (.f64 (sqrt.f64 z) (+.f64 (.f64 1/2 (.f64 y (.f64 (sqrt.f64 2) (.f64 t t)))) (.f64 1/48 (.f64 y (.f64 (sqrt.f64 2) (pow.f64 t 6)))))) (.f64 (sqrt.f64 z) (+.f64 (.f64 1/8 (.f64 y (.f64 (sqrt.f64 2) (pow.f64 t 4)))) (*.f64 y (sqrt.f64 2))))))
	1.5b	(.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.3b	(.f64 (.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t)) (pow.f64 (sqrt.f64 (sqrt.f64 (exp.f64 t))) t))
	1.5b	(.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2))) (.f64 (sqrt.f64 z) (.f64 (-.f64 (.f64 1/2 x) y) (sqrt.f64 (cbrt.f64 2))))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
✓	0.8b	(.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))
	31.9b	(.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.8b	(.f64 (+.f64 (.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (sqrt.f64 2)) (.f64 (.f64 (neg.f64 y) (sqrt.f64 z)) (sqrt.f64 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

Compiler

Compiled 10085 to 5766 computations (42.8% saved)

regimes6.8s (48.7%)

Accuracy

Total 0.3b remaining (91%)

Threshold costs 0.3b (91%)

Counts

351 → 1

Compiler

Compiled 146704 to 107894 computations (26.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-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	18	39
1	25	39
2	30	39
3	32	39
4	33	39
5	33	39

end1.0ms (0%)

Compiler: Compiled 28 to 17 computations (39.3% saved)

sample2.4s (17.5%)

Algorithm

1×

intervals

Results

606.0ms	6168×	body	128	invalid
587.0ms	8000×	body	128	valid
339.0ms	4611×	body	128	nan

Compiler

Compiled 331 to 245 computations (26% saved)

Details

analyze917.0ms (6.6%)

sample130.0ms (0.9%)

simplify127.0ms (0.9%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series229.0ms (1.6%)

rewrite22.0ms (0.2%)

simplify118.0ms (0.8%)

prune157.0ms (1.1%)

localize13.0ms (0.1%)

series524.0ms (3.8%)

rewrite66.0ms (0.5%)

simplify309.0ms (2.2%)

prune326.0ms (2.3%)

localize15.0ms (0.1%)

series252.0ms (1.8%)

rewrite42.0ms (0.3%)

simplify124.0ms (0.9%)

prune436.0ms (3.1%)

localize14.0ms (0.1%)

series254.0ms (1.8%)

rewrite63.0ms (0.5%)

simplify223.0ms (1.6%)

prune337.0ms (2.4%)

regimes6.8s (48.7%)

simplify4.0ms (0%)

end1.0ms (0%)

sample2.4s (17.5%)

Profiling