Details

analyze158.0ms (2.4%)

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%	50%	50%	4
0%	50%	50%	5
12.5%	37.5%	50%	6
18.7%	31.2%	50%	7
28.1%	21.9%	50%	8
32.8%	17.2%	50%	9
38.2%	11.7%	50%	10
41%	9%	50%	11
43.9%	6%	50%	12
45.4%	4.6%	50%	13
46.9%	3.1%	50%	14

Compiler

Compiled 31 to 22 computations (29% saved)

sample1.3s (20.4%)

Results

1.3s	8256×	body	128	valid
2.0ms	15×	body	128	invalid

Compiler

Compiled 92 to 65 computations (29.3% saved)

simplify33.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

826×	`times-frac_binary64`
592×	`fma-def_binary64`
509×	`associate-/r*_binary64`
353×	`associate-/l*_binary64`
343×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	43
1	58	43
2	179	38
3	824	36
4	3882	36
5	5029	36

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 114 to 77 computations (32.5% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 5 (.f64 v v))
✓	0.2b	(*.f64 (PI.f64) t)
✓	0.3b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
✓	0.4b	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))

series182.0ms (2.8%)

Counts

4 → 60

Calls

4 calls:

143.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
31.0ms	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))
5.0ms	(.f64 5 (.f64 v v))
2.0ms	(*.f64 (PI.f64) t)

rewrite37.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-cbrt-cube_binary64`
30×	`add-exp-log_binary64`
18×	`associate-*r/_binary64`
16×	`pow1_binary64`
13×	`add-sqr-sqrt_binary64`

Counts

4 → 102

Calls

4 calls:

14.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
7.0ms	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))
6.0ms	(.f64 5 (.f64 v v))
3.0ms	(*.f64 (PI.f64) t)

simplify137.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-l_binary64`
489×	`associate-r_binary64`
436×	`times-frac_binary64`
397×	`associate-/r*_binary64`
215×	`associate-/l*_binary64`

Counts

162 → 195

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	339	5940
1	1042	5332
2	4928	5332
3	4937	5332

prune254.0ms (3.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	188	7	195
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	188	8	196

Error

0.1b

Counts

196 → 8

Alt Table

Status	Error	Program
	1.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v))))) (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v)))))) (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))))
	0.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (.f64 (PI.f64) t) (.f64 (cbrt.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (cbrt.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))))) (cbrt.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))))) (-.f64 1 (*.f64 v v))))
	44.9b	(cbrt.f64 (/.f64 (.f64 (.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 1 (.f64 5 (.f64 v v)))) (-.f64 1 (.f64 5 (.f64 v v)))) (.f64 (.f64 (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)) (.f64 (.f64 t t) t)) (.f64 (.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))))) (.f64 (.f64 (-.f64 1 (.f64 v v)) (-.f64 1 (.f64 v v))) (-.f64 1 (*.f64 v v))))))
▶	0.3b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	44.9b	(cbrt.f64 (/.f64 (.f64 (.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 1 (.f64 5 (.f64 v v)))) (-.f64 1 (.f64 5 (.f64 v v)))) (.f64 (.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v)))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))))
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
	31.6b	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v))))) (sqrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))))
	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 9389 to 6117 computations (34.8% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 v v) (PI.f64))
✓	0.2b	(.f64 (.f64 v v) 5)
✓	0.2b	(.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))
✓	0.3b	(/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))))

series108.0ms (1.6%)

Counts

4 → 72

Calls

4 calls:

78.0ms	(/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))))
25.0ms	(.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))
3.0ms	(.f64 (.f64 v v) (PI.f64))
2.0ms	(.f64 (.f64 v v) 5)

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-cbrt-cube_binary64`
28×	`add-exp-log_binary64`
20×	`distribute-lft-in_binary64`
20×	`distribute-rgt-in_binary64`
19×	`pow1_binary64`

Counts

4 → 114

Calls

4 calls:

8.0ms	(/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))))
7.0ms	(.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))
4.0ms	(.f64 (.f64 v v) 5)
4.0ms	(.f64 (.f64 v v) (PI.f64))

simplify132.0ms (2%)

Algorithm

1×	egg-herbie

Rules

670×	`fma-def_binary64`
372×	`cancel-sign-sub-inv_binary64`
350×	`associate-l_binary64`
318×	`associate-r_binary64`
244×	`exp-prod_binary64`

Counts

186 → 182

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	254	4921
1	643	4198
2	2726	3888
3	4819	3888
4	5065	3888

prune242.0ms (3.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	176	6	182
Fresh	6	0	6
Picked	1	0	1
Done	1	0	1
Total	184	6	190

Error

Counts

190 → 6

Alt Table

Status	Error	Program
	0.3b	(.f64 (/.f64 (-.f64 1 (log.f64 (exp.f64 (.f64 (.f64 v v) 5)))) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	0.3b	(.f64 (.f64 (/.f64 1 t) (/.f64 (fma.f64 (.f64 v v) -5 1) (.f64 (fma.f64 v (neg.f64 v) 1) (.f64 (PI.f64) (sqrt.f64 2))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	0.6b	(.f64 (.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 v 6) (pow.f64 (PI.f64) 3)))))) (+.f64 (.f64 (PI.f64) (PI.f64)) (+.f64 (.f64 (.f64 (.f64 v v) (PI.f64)) (.f64 (.f64 v v) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	31.6b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (sqrt.f64 (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (.f64 v v))))))
▶	0.3b	(.f64 (/.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	0.6b	(.f64 (.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) (.f64 t (.f64 (sqrt.f64 2) (.f64 (PI.f64) (-.f64 (PI.f64) (.f64 (PI.f64) (pow.f64 v 4))))))) (+.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))

Compiler

Compiled 7801 to 4575 computations (41.4% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (/.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
✓	0.2b	(.f64 3 (.f64 v v))
	0.2b	(.f64 (.f64 v v) (PI.f64))
✓	0.3b	(/.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))

series224.0ms (3.4%)

Counts

3 → 60

Calls

3 calls:

140.0ms

(*.f64 (/.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) t) (*.f64 (sqrt.f64 2) (-.f64 (PI.f64) (*.f64 (*.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (*.f64 v v))))))

81.0ms

(/.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) t) (*.f64 (sqrt.f64 2) (-.f64 (PI.f64) (*.f64 (*.f64 v v) (PI.f64)))))

2.0ms

(*.f64 3 (*.f64 v v))

rewrite46.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`times-frac_binary64`
44×	`add-sqr-sqrt_binary64`
38×	`add-cbrt-cube_binary64`
38×	`add-exp-log_binary64`
35×	`*-un-lft-identity_binary64`

Counts

3 → 136

Calls

3 calls:

18.0ms

(*.f64 (/.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) t) (*.f64 (sqrt.f64 2) (-.f64 (PI.f64) (*.f64 (*.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (*.f64 v v))))))

8.0ms

(/.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) t) (*.f64 (sqrt.f64 2) (-.f64 (PI.f64) (*.f64 (*.f64 v v) (PI.f64)))))

4.0ms

(*.f64 3 (*.f64 v v))

simplify159.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

699×	`fma-def_binary64`
328×	`associate-/r*_binary64`
275×	`associate-l_binary64`
270×	`associate-r_binary64`
222×	`*-commutative_binary64`

Counts

196 → 266

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	374	8864
1	1053	7830
2	4037	7521
3	5063	7521

prune544.0ms (8.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	295	2	297
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	298	5	303

Error

Counts

303 → 5

Alt Table

Status	Error	Program
	0.3b	(.f64 (/.f64 (-.f64 1 (log.f64 (exp.f64 (.f64 (.f64 v v) 5)))) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
▶	0.3b	(.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 (fma.f64 v (neg.f64 v) 1) (*.f64 (PI.f64) (sqrt.f64 2)))))
	0.4b	(.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) (sqrt.f64 2)) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 t (*.f64 (fma.f64 v (neg.f64 v) 1) (PI.f64)))))
✓	0.3b	(.f64 (/.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	0.6b	(.f64 (.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) (.f64 t (.f64 (sqrt.f64 2) (.f64 (PI.f64) (-.f64 (PI.f64) (.f64 (PI.f64) (pow.f64 v 4))))))) (+.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))

Compiler

Compiled 13317 to 8267 computations (37.9% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 (*.f64 v v) -5 1) t)
✓	0.0b	(sqrt.f64 (/.f64 1 (fma.f64 (*.f64 v v) -3 1)))
✓	0.0b	(/.f64 1 (fma.f64 (*.f64 v v) -3 1))
✓	0.3b	(.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 (fma.f64 v (neg.f64 v) 1) (*.f64 (PI.f64) (sqrt.f64 2)))))

series171.0ms (2.6%)

Counts

4 → 72

Calls

4 calls:

144.0ms	(.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 (fma.f64 v (neg.f64 v) 1) (*.f64 (PI.f64) (sqrt.f64 2)))))
16.0ms	(/.f64 (fma.f64 (*.f64 v v) -5 1) t)
6.0ms	(sqrt.f64 (/.f64 1 (fma.f64 (*.f64 v v) -3 1)))
3.0ms	(/.f64 1 (fma.f64 (*.f64 v v) -3 1))

rewrite64.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`times-frac_binary64`
52×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
43×	`add-cube-cbrt_binary64`
42×	`add-exp-log_binary64`

Counts

4 → 157

Calls

4 calls:

17.0ms	(.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 (fma.f64 v (neg.f64 v) 1) (*.f64 (PI.f64) (sqrt.f64 2)))))
2.0ms	(/.f64 1 (fma.f64 (*.f64 v v) -3 1))
2.0ms	(sqrt.f64 (/.f64 1 (fma.f64 (*.f64 v v) -3 1)))
2.0ms	(/.f64 (fma.f64 (*.f64 v v) -5 1) t)

simplify198.0ms (3%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
325×	`associate-/r*_binary64`
273×	`associate-l_binary64`
253×	`associate-r_binary64`
234×	`associate-*r/_binary64`

Counts

229 → 295

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	396	8092
1	1087	6947
2	4109	6928
3	4955	6928
4	4908	6928

prune398.0ms (6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	294	1	295
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	297	3	300

Error

Counts

300 → 3

Alt Table

Status	Error	Program
	0.3b	(.f64 (/.f64 (-.f64 1 (log.f64 (exp.f64 (.f64 (.f64 v v) 5)))) (.f64 t (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64)))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))
	0.1b	(/.f64 (.f64 (fma.f64 (.f64 v v) -5 1) (/.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 v v) -3 1))) (.f64 (fma.f64 v (neg.f64 v) 1) (*.f64 (PI.f64) (sqrt.f64 2))))) t)
✓	0.3b	(.f64 (/.f64 (/.f64 (fma.f64 (.f64 v v) -5 1) t) (.f64 (sqrt.f64 2) (-.f64 (PI.f64) (.f64 (.f64 v v) (PI.f64))))) (sqrt.f64 (/.f64 1 (-.f64 1 (.f64 3 (*.f64 v v))))))

Compiler

Compiled 12702 to 8628 computations (32.1% saved)

regimes2.0s (29.7%)

Accuracy

Total 0.1b remaining (84.6%)

Threshold costs 0.1b (84.6%)

Counts

257 → 1

Compiler

Compiled 56155 to 39979 computations (28.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	44
1	29	44
2	31	44
3	32	44
4	31	44

end91.0ms (1.4%)

Compiler: Compiled 160 to 116 computations (27.5% saved)

Details

analyze158.0ms (2.4%)

sample1.3s (20.4%)

simplify33.0ms (0.5%)

prune4.0ms (0.1%)

localize18.0ms (0.3%)

series182.0ms (2.8%)

rewrite37.0ms (0.6%)

simplify137.0ms (2.1%)

prune254.0ms (3.9%)

localize18.0ms (0.3%)

series108.0ms (1.6%)

rewrite32.0ms (0.5%)

simplify132.0ms (2%)

prune242.0ms (3.7%)

localize17.0ms (0.3%)

series224.0ms (3.4%)

rewrite46.0ms (0.7%)

simplify159.0ms (2.4%)

prune544.0ms (8.3%)

localize18.0ms (0.3%)

series171.0ms (2.6%)

rewrite64.0ms (1%)

simplify198.0ms (3%)

prune398.0ms (6%)

regimes2.0s (29.7%)

simplify3.0ms (0%)

end91.0ms (1.4%)

Profiling