Details

analyze174.0ms (9.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.4%	13
66.6%	0%	33.4%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample13.0ms (0.7%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify166.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

750×	`distribute-rgt-neg-in_binary64`
666×	`cube-prod_binary64`
600×	`cancel-sign-sub-inv_binary64`
546×	`distribute-lft-neg-in_binary64`
529×	`sqr-pow_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	42	13
3	87	13
4	134	13
5	166	13
6	232	13
7	397	13
8	512	13
9	942	13
10	1299	13
11	1900	13
12	2152	13
13	2275	13
14	2482	13
15	2678	13
16	2866	13
17	2363	13
18	2986	13
19	3982	13
20	4531	13
21	4724	13

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 20 to 14 computations (30% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

rewrite30.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`add-sqr-sqrt_binary64`

Counts

1 → 25

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 408 to 261 computations (36% saved)

series13.0ms (0.7%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

10.0ms

(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 112 to 93 computations (17% saved)

simplify65.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

529×	`unswap-sqr_binary64`
291×	`*-commutative_binary64`
267×	`times-frac_binary64`
218×	`distribute-rgt-neg-in_binary64`
195×	`distribute-lft-neg-in_binary64`

Counts

31 → 25

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	525
1	171	438
2	555	438
3	1242	438
4	1979	438
5	4297	438
6	4899	438

prune16.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	20	5	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	6	26

Error

0.0b

Counts

26 → 6

Alt Table

Status	Error	Program
	3.5b	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 x (.f64 x 4)))) (+.f64 3 (*.f64 x 2)))
	9.1b	(.f64 (sqrt.f64 (.f64 x (.f64 x (-.f64 3 (.f64 x 2))))) (sqrt.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))))
	0.9b	(.f64 (.f64 (cbrt.f64 (.f64 x (.f64 x (-.f64 3 (.f64 x 2))))) (cbrt.f64 (.f64 x (.f64 x (-.f64 3 (.f64 x 2)))))) (cbrt.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))))
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	0.2b	(pow.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2)))) 1)
	23.7b	(*.f64 (pow.f64 x 3) -2)

Compiler

Compiled 393 to 283 computations (28% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 x (-.f64 3 (.f64 x 2)))
0.2b	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))

rewrite52.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`

Counts

2 → 52

Calls

2 calls:

5.0ms	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
4.0ms	(.f64 x (-.f64 3 (.f64 x 2)))

Compiler

Compiled 884 to 635 computations (28.2% saved)

series28.0ms (1.5%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

13.0ms	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
8.0ms	(.f64 x (-.f64 3 (.f64 x 2)))

Compiler

Compiled 277 to 227 computations (18.1% saved)

simplify67.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

542×	`unswap-sqr_binary64`
487×	`unsub-neg_binary64`
335×	`neg-mul-1_binary64`
330×	`neg-sub0_binary64`
233×	`distribute-rgt-in_binary64`

Counts

64 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	968
1	200	812
2	658	812
3	1708	810
4	3098	810
5	5043	810

prune28.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	3	1	4
Picked	0	1	1
Done	0	1	1
Total	51	5	56

Error

Counts

56 → 5

Alt Table

Status	Error	Program
▶	3.5b	(pow.f64 (/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2))) 1)
	5.2b	(pow.f64 (/.f64 (.f64 x (.f64 x (-.f64 27 (pow.f64 (.f64 x 2) 3)))) (+.f64 (.f64 3 3) (+.f64 (.f64 (.f64 x 2) (.f64 x 2)) (.f64 3 (*.f64 x 2))))) 1)
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	0.2b	(pow.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2)))) 1)
	23.7b	(*.f64 (pow.f64 x 3) -2)

Compiler

Compiled 568 to 409 computations (28% saved)

localize12.0ms (0.7%)

Local error

Found 3 expressions with local error:

0.1b	(.f64 x (-.f64 9 (.f64 x (*.f64 x 4))))
0.2b	(.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4)))))
3.2b	(/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2)))

rewrite97.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`
10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`
10×	`associate-*r/_binary64`

Counts

3 → 79

Calls

3 calls:

8.0ms	(/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2)))
6.0ms	(.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4)))))
4.0ms	(.f64 x (-.f64 9 (.f64 x (*.f64 x 4))))

Compiler

Compiled 2194 to 1601 computations (27% saved)

series49.0ms (2.6%)

Error

Counts

3 → 18

Calls

3 calls:

14.0ms	(.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4)))))
13.0ms	(/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2)))
11.0ms	(.f64 x (-.f64 9 (.f64 x (*.f64 x 4))))

Compiler

Compiled 556 to 463 computations (16.7% saved)

simplify96.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

412×	`distribute-rgt-in_binary64`
400×	`distribute-lft-in_binary64`
391×	`associate-/r*_binary64`
288×	`associate-/l/_binary64`
254×	`associate-/r/_binary64`

Counts

97 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	2173
1	387	1793
2	1605	1730
3	4804	1728
4	5032	1728

prune51.0ms (2.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Error

Counts

89 → 5

Alt Table

Status	Error	Program
▶	3.5b	(pow.f64 (/.f64 (-.f64 (.f64 (.f64 x x) 9) (.f64 4 (pow.f64 x 4))) (+.f64 3 (.f64 x 2))) 1)
✓	3.5b	(pow.f64 (/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2))) 1)
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	0.2b	(pow.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2)))) 1)
	23.7b	(*.f64 (pow.f64 x 3) -2)

Compiler

Compiled 1343 to 1028 computations (23.5% saved)

localize10.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 4 (pow.f64 x 4))
0.0b	(-.f64 (.f64 (.f64 x x) 9) (*.f64 4 (pow.f64 x 4)))
0.2b	(.f64 (.f64 x x) 9)
3.2b	(/.f64 (-.f64 (.f64 (.f64 x x) 9) (.f64 4 (pow.f64 x 4))) (+.f64 3 (.f64 x 2)))

rewrite111.0ms (5.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

4 → 88

Calls

4 calls:

9.0ms	(/.f64 (-.f64 (.f64 (.f64 x x) 9) (.f64 4 (pow.f64 x 4))) (+.f64 3 (.f64 x 2)))
5.0ms	(-.f64 (.f64 (.f64 x x) 9) (*.f64 4 (pow.f64 x 4)))
4.0ms	(.f64 (.f64 x x) 9)
4.0ms	(*.f64 4 (pow.f64 x 4))

Compiler

Compiled 2491 to 1868 computations (25% saved)

series43.0ms (2.3%)

Error

Counts

4 → 18

Calls

4 calls:

14.0ms	(-.f64 (.f64 (.f64 x x) 9) (*.f64 4 (pow.f64 x 4)))
13.0ms	(/.f64 (-.f64 (.f64 (.f64 x x) 9) (.f64 4 (pow.f64 x 4))) (+.f64 3 (.f64 x 2)))
6.0ms	(*.f64 4 (pow.f64 x 4))
6.0ms	(.f64 (.f64 x x) 9)

Compiler

Compiled 602 to 506 computations (15.9% saved)

simplify92.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

379×	`*-commutative_binary64`
272×	`unswap-sqr_binary64`
259×	`associate-/l*_binary64`
183×	`div-sub_binary64`
179×	`distribute-rgt-in_binary64`

Counts

106 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	2166
1	397	2011
2	1302	1961
3	3595	1961
4	4913	1961

prune34.0ms (1.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	55	5	60

Error

Counts

60 → 5

Alt Table

Status	Error	Program
	3.5b	(pow.f64 (/.f64 (-.f64 (.f64 (.f64 x x) 9) (.f64 4 (pow.f64 x 4))) (+.f64 3 (.f64 x 2))) 1)
	3.5b	(pow.f64 (/.f64 (.f64 x (.f64 x (-.f64 9 (.f64 x (.f64 x 4))))) (+.f64 3 (*.f64 x 2))) 1)
	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
	0.2b	(pow.f64 (.f64 x (.f64 x (-.f64 3 (*.f64 x 2)))) 1)
	23.7b	(*.f64 (pow.f64 x 3) -2)

Compiler

Compiled 809 to 608 computations (24.8% saved)

regimes92.0ms (4.9%)

Accuracy

Total 0.1b remaining (88.9%)

Threshold costs 0.1b (88.9%)

Compiler

Compiled 1540 to 1146 computations (25.6% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
2×	`distribute-lft-neg-in_binary64`
2×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	17	16
2	25	16
3	29	16
4	32	16
5	33	16
6	32	16

end1.0ms (0%)

Compiler: Compiled 12 to 10 computations (16.7% saved)

sample521.0ms (27.8%)

Algorithm

1×

intervals

Results

294.0ms

8000×

body

128

valid

Compiler

Compiled 92 to 71 computations (22.8% saved)

Details

analyze174.0ms (9.2%)

sample13.0ms (0.7%)

simplify166.0ms (8.8%)

prune1.0ms (0.1%)

localize5.0ms (0.3%)

rewrite30.0ms (1.6%)

series13.0ms (0.7%)

simplify65.0ms (3.5%)

prune16.0ms (0.9%)

localize7.0ms (0.4%)

rewrite52.0ms (2.8%)

series28.0ms (1.5%)

simplify67.0ms (3.6%)

prune28.0ms (1.5%)

localize12.0ms (0.7%)

rewrite97.0ms (5.2%)

series49.0ms (2.6%)

simplify96.0ms (5.1%)

prune51.0ms (2.7%)

localize10.0ms (0.6%)

rewrite111.0ms (5.9%)

series43.0ms (2.3%)

simplify92.0ms (4.9%)

prune34.0ms (1.8%)

regimes92.0ms (4.9%)

simplify4.0ms (0.2%)

end1.0ms (0%)

sample521.0ms (27.8%)

Profiling