Details

analyze144.0ms (0.9%)

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)

sample24.0ms (0.1%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
0.0ms	1×	body	128	nan

Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify49.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

826×	`times-frac_binary64`
719×	`distribute-neg-frac_binary64`
509×	`associate-/r*_binary64`
353×	`associate-/l*_binary64`
343×	`div-sub_binary64`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	43
1	58	43
2	179	40
3	803	40
4	3764	40
5	4802	40
6	4990	40

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 5 (.f64 v v))
0.2b	(*.f64 PI.f64 t)
0.3b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v)))))
0.5b	(.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v))))

rewrite211.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
20×	`pow1_binary64`
16×	`prod-exp_binary64` `cbrt-unprod_binary64` `associate-*r/_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`sqrt-div_binary64` `associate-l_binary64`

Counts

4 → 113

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v))))
14.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v)))))
6.0ms	(.f64 5 (.f64 v v))
3.0ms	(*.f64 PI.f64 t)

Compiler

Compiled 4225 to 2542 computations (39.8% saved)

series153.0ms (0.9%)

Error

0.1b

Counts

4 → 22

Calls

4 calls:

71.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v)))))
46.0ms	(.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v))))
9.0ms	(*.f64 PI.f64 t)
8.0ms	(.f64 5 (.f64 v v))

Compiler

Compiled 1852 to 1409 computations (23.9% saved)

simplify120.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-r_binary64`
460×	`cancel-sign-sub-inv_binary64` `associate-l_binary64`
405×	`times-frac_binary64`
324×	`associate-/r*_binary64`
234×	`*-commutative_binary64`

Counts

135 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	306	4660
1	870	3999
2	4037	3936
3	5382	3936

prune135.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	110	6	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	110	7	117

Error

0.0b

Counts

117 → 7

Alt Table

Status	Error	Program
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 PI.f64 t) (-.f64 1 (.f64 v v)))))
	32.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 (sqrt.f64 (.f64 t PI.f64)) (sqrt.f64 (.f64 t PI.f64))) (-.f64 1 (.f64 v v)))))
	0.6b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (/.f64 1 (-.f64 2 (.f64 (.f64 v v) 6)))))
	0.7b	(-.f64 (+.f64 (/.f64 (sqrt.f64 1/2) (.f64 t PI.f64)) (.f64 3/4 (/.f64 (.f64 v v) (.f64 (.f64 t PI.f64) (sqrt.f64 1/2))))) (.f64 4 (.f64 (.f64 v v) (/.f64 (sqrt.f64 1/2) (*.f64 t PI.f64)))))
▶	0.4b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
	32.5b	(.f64 (sqrt.f64 (/.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (sqrt.f64 (/.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (-.f64 2 (.f64 (*.f64 v v) 6))))))
	0.5b	(.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))

Compiler

Compiled 3299 to 2045 computations (38% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 v v) 6)
0.2b	(*.f64 t PI.f64)
0.4b	(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (*.f64 t PI.f64)))
1.0b	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

rewrite263.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

78×	`times-frac_binary64`
54×	`add-exp-log_binary64`
51×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
34×	`add-cbrt-cube_binary64`

Counts

4 → 164

Calls

4 calls:

14.0ms	(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (*.f64 t PI.f64)))
8.0ms	(.f64 (.f64 v v) 6)
6.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
3.0ms	(*.f64 t PI.f64)

Compiler

Compiled 5796 to 3578 computations (38.3% saved)

series118.0ms (0.7%)

Error

0.0b

Counts

4 → 19

Calls

4 calls:

65.0ms	(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (*.f64 t PI.f64)))
18.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
9.0ms	(.f64 (.f64 v v) 6)
8.0ms	(*.f64 t PI.f64)

Compiler

Compiled 1689 to 1249 computations (26.1% saved)

simplify132.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

452×	`associate-*l/_binary64`
407×	`associate-/r/_binary64`
242×	`associate-/r*_binary64`
218×	`associate-l_binary64`
194×	`distribute-rgt-in_binary64`

Counts

183 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	5309
1	688	4681
2	2483	4635
3	4978	4635

prune112.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	122	7	129

Error

0.0b

Counts

129 → 7

Alt Table

Status	Error	Program
	32.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))))
	32.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 (sqrt.f64 (.f64 t PI.f64)) (sqrt.f64 (.f64 t PI.f64))) (-.f64 1 (.f64 v v)))))
	0.6b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
	0.6b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (/.f64 1 (-.f64 2 (.f64 (.f64 v v) 6)))))
▶	0.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (-.f64 1 (*.f64 v v))))))
✓	0.4b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
	0.5b	(.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))

Compiler

Compiled 3034 to 1951 computations (35.7% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
1.0b	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
1.0b	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
1.0b	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

rewrite335.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

94×	`sqrt-prod_binary64`
80×	`times-frac_binary64`
74×	`add-sqr-sqrt_binary64`
64×	`*-un-lft-identity_binary64`
60×	`add-cube-cbrt_binary64`

Counts

4 → 180

Calls

4 calls:

9.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
6.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
6.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
6.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

Compiler

Compiled 8062 to 5401 computations (33% saved)

series114.0ms (0.7%)

Error

Counts

4 → 20

Calls

4 calls:

22.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
21.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
20.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
19.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

Compiler

Compiled 2494 to 1887 computations (24.3% saved)

simplify218.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

473×	`times-frac_binary64`
404×	`associate-/l*_binary64`
284×	`associate-l_binary64`
253×	`cancel-sign-sub-inv_binary64`
243×	`associate-r_binary64`

Counts

200 → 122

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	152	4600
1	299	4374
2	687	4296
3	1974	4278
4	4721	4274
5	4906	4274
6	4938	4274

prune139.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	122	7	129

Error

Counts

129 → 7

Alt Table

Status	Error	Program
	32.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))))
	32.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 (sqrt.f64 (.f64 t PI.f64)) (sqrt.f64 (.f64 t PI.f64))) (-.f64 1 (.f64 v v)))))
	0.6b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
	0.6b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (/.f64 1 (-.f64 2 (.f64 (.f64 v v) 6)))))
✓	0.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (-.f64 1 (*.f64 v v))))))
✓	0.4b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
▶	0.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2)) (-.f64 1 (*.f64 v v))))))

Compiler

Compiled 3980 to 2652 computations (33.4% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2)) (-.f64 1 (.f64 v v)))))
1.0b	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
1.0b	(sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2))
1.0b	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

rewrite6.7s (39.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5771×	`times-frac_binary64`
3080×	`sqrt-prod_binary64`
1947×	`add-sqr-sqrt_binary64`
1940×	`*-un-lft-identity_binary64`
1658×	`add-cube-cbrt_binary64`

Counts

4 → 1866

Calls

4 calls:

66.0ms	(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2)) (-.f64 1 (.f64 v v)))))
6.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
6.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))
4.0ms	(sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2))

Compiler

Compiled 104026 to 73165 computations (29.7% saved)

series156.0ms (0.9%)

Error

Counts

4 → 23

Calls

4 calls:

62.0ms	(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2)) (-.f64 1 (.f64 v v)))))
22.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))
20.0ms	(sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2))
19.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))

Compiler

Compiled 2670 to 2007 computations (24.8% saved)

simplify3.2s (18.8%)

Algorithm

1×	egg-herbie

Rules

1058×	`associate-/r/_binary64`
722×	`associate-/l/_binary64`
247×	`times-frac_binary64`
107×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
64×	`associate-/l*_binary64`

Counts

1889 → 1684

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1511	164233
1	3018	161291
2	4959	161291
3	4959	161291

prune2.0s (12%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	1683	1	1684
Fresh	1	3	4
Picked	0	1	1
Done	1	1	2
Total	1685	6	1691

Error

Counts

1691 → 6

Alt Table

Status	Error	Program
	32.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (sqrt.f64 (/.f64 (/.f64 1 (.f64 t (.f64 PI.f64 (-.f64 1 (.f64 v v))))) (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))))))
	32.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (+.f64 2 (.f64 v (.f64 -6 v)))) (.f64 (.f64 (sqrt.f64 (.f64 t PI.f64)) (sqrt.f64 (.f64 t PI.f64))) (-.f64 1 (.f64 v v)))))
	0.6b	(.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))) (sqrt.f64 (/.f64 1 (-.f64 2 (.f64 (.f64 v v) 6)))))
	0.4b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6)))) (.f64 (-.f64 1 (.f64 v v)) (.f64 t PI.f64))))
	0.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (.f64 t PI.f64)) (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2))) (-.f64 1 (.f64 v v))))
	0.5b	(.f64 (-.f64 1 (.f64 5 (.f64 v v))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (.f64 (.f64 v v) 6))))) (/.f64 (.f64 t PI.f64) (/.f64 (sqrt.f64 (pow.f64 (-.f64 2 (.f64 (.f64 v v) 6)) -1/2)) (-.f64 1 (*.f64 v v))))))

Compiler

Compiled 38896 to 27040 computations (30.5% saved)

regimes1.5s (9.1%)

Accuracy

Total 0.3b remaining (80.8%)

Threshold costs 0.3b (80.8%)

Compiler

Compiled 35882 to 25054 computations (30.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
7×	`sub-neg_binary64` `+-commutative_binary64`
5×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
3×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	40
1	44	40
2	62	40
3	70	40
4	74	40
5	70	40

end1.0ms (0%)

Compiler: Compiled 28 to 19 computations (32.1% saved)

sample936.0ms (5.5%)

Algorithm

1×

intervals

Results

512.0ms	8000×	body	128	valid
1.0ms	10×	body	128	nan

Compiler

Compiled 292 to 203 computations (30.5% saved)

Details

analyze144.0ms (0.9%)

sample24.0ms (0.1%)

simplify49.0ms (0.3%)

prune4.0ms (0%)

localize14.0ms (0.1%)

rewrite211.0ms (1.2%)

series153.0ms (0.9%)

simplify120.0ms (0.7%)

prune135.0ms (0.8%)

localize15.0ms (0.1%)

rewrite263.0ms (1.6%)

series118.0ms (0.7%)

simplify132.0ms (0.8%)

prune112.0ms (0.7%)

localize19.0ms (0.1%)

rewrite335.0ms (2%)

series114.0ms (0.7%)

simplify218.0ms (1.3%)

prune139.0ms (0.8%)

localize24.0ms (0.1%)

rewrite6.7s (39.7%)

series156.0ms (0.9%)

simplify3.2s (18.8%)

prune2.0s (12%)

regimes1.5s (9.1%)

simplify4.0ms (0%)

end1.0ms (0%)

sample936.0ms (5.5%)

Profiling