Details

analyze62.0ms (3.2%)

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
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample14.0ms (0.7%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

prune2.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.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 x (+.f64 x y))

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))

rewrite31.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
10×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`distribute-lft-out_binary64` `associate-/r*_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`

Counts

1 → 33

Calls

1 calls:

5.0ms

(/.f64 x (+.f64 x y))

Compiler

Compiled 358 to 101 computations (71.8% saved)

series36.0ms (1.8%)

Error

0.0b

Counts

1 → 21

Calls

1 calls:

28.0ms

(/.f64 x (+.f64 x y))

Compiler

Compiled 423 to 299 computations (29.3% saved)

simplify72.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

626×	`associate-/l*_binary64`
423×	`associate-/r*_binary64`
412×	`div-sub_binary64`
376×	`associate-/l/_binary64`
375×	`associate-*l/_binary64`

Counts

54 → 24

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	776
1	164	746
2	418	710
3	1261	704
4	4636	704
5	5470	704

prune10.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	2	25

Error

0.0b

Counts

25 → 2

Alt Table

Status	Error	Program
▶	28.2b	(-.f64 (-.f64 1 (*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))) (pow.f64 (/.f64 y x) 3))
✓	0.0b	(/.f64 x (+.f64 x y))

Compiler

Compiled 156 to 72 computations (53.8% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (/.f64 y x))
0.1b	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))
0.3b	(pow.f64 (/.f64 y x) 3)
5.8b	(-.f64 (-.f64 1 (*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))) (pow.f64 (/.f64 y x) 3))

rewrite210.0ms (10.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

97×	`add-sqr-sqrt_binary64`
79×	`times-frac_binary64`
73×	`*-un-lft-identity_binary64`
72×	`cancel-sign-sub-inv_binary64`
63×	`add-cube-cbrt_binary64`

Counts

4 → 200

Calls

4 calls:

20.0ms	(-.f64 (-.f64 1 (*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))) (pow.f64 (/.f64 y x) 3))
14.0ms	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))
7.0ms	(-.f64 1 (/.f64 y x))
5.0ms	(pow.f64 (/.f64 y x) 3)

Compiler

Compiled 4586 to 2133 computations (53.5% saved)

series127.0ms (6.5%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

37.0ms	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))
35.0ms	(-.f64 (-.f64 1 (*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))) (pow.f64 (/.f64 y x) 3))
23.0ms	(pow.f64 (/.f64 y x) 3)
21.0ms	(-.f64 1 (/.f64 y x))

Compiler

Compiled 1488 to 990 computations (33.5% saved)

simplify187.0ms (9.6%)

Algorithm

1×	egg-herbie

Rules

437×	`associate-l_binary64`
404×	`associate-r_binary64`
254×	`exp-prod_binary64`
244×	`associate-*l/_binary64`
217×	`associate-*r/_binary64`

Counts

254 → 201

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	295	4474
1	888	4002
2	3868	3974
3	4951	3974
4	5080	3974

prune72.0ms (3.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	200	1	201
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	201	2	203

Error

0.0b

Counts

203 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
▶	28.2b	(-.f64 1 (+.f64 (pow.f64 (/.f64 y x) 3) (-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2))))

Compiler

Compiled 2008 to 984 computations (51% saved)

localize9.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (/.f64 y x) 2)
0.3b	(pow.f64 (/.f64 y x) 3)
3.5b	(-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2))
4.6b	(+.f64 (pow.f64 (/.f64 y x) 3) (-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2)))

rewrite217.0ms (11%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

66×	`add-sqr-sqrt_binary64`
56×	`*-un-lft-identity_binary64` `unpow-prod-down_binary64`
54×	`times-frac_binary64`
43×	`add-cube-cbrt_binary64`
36×	`cancel-sign-sub-inv_binary64`

Counts

4 → 155

Calls

4 calls:

46.0ms	(+.f64 (pow.f64 (/.f64 y x) 3) (-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2)))
21.0ms	(-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2))
5.0ms	(pow.f64 (/.f64 y x) 3)
4.0ms	(pow.f64 (/.f64 y x) 2)

Compiler

Compiled 3662 to 1762 computations (51.9% saved)

series128.0ms (6.5%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

38.0ms	(-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2))
37.0ms	(+.f64 (pow.f64 (/.f64 y x) 3) (-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2)))
23.0ms	(pow.f64 (/.f64 y x) 3)
23.0ms	(pow.f64 (/.f64 y x) 2)

Compiler

Compiled 1262 to 868 computations (31.2% saved)

simplify152.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

387×	`cancel-sign-sub-inv_binary64`
295×	`exp-prod_binary64`
293×	`cube-prod_binary64`
274×	`log-prod_binary64`
201×	`distribute-rgt-neg-in_binary64`

Counts

191 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	225	3232
1	623	2850
2	2172	2828
3	3907	2800
4	5037	2800

prune67.0ms (3.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

152 → 2

Alt Table

Status	Error	Program
	0.0b	(/.f64 x (+.f64 x y))
	28.2b	(-.f64 1 (+.f64 (pow.f64 (/.f64 y x) 3) (-.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 2))))

Compiler

Compiled 1849 to 917 computations (50.4% saved)

regimes86.0ms (4.4%)

Accuracy

Total 0.0b remaining (37%)

Threshold costs 0.0b (37%)

Compiler

Compiled 938 to 538 computations (42.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

end0.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

sample458.0ms (23.3%)

Algorithm

1×

intervals

Results

180.0ms

8000×

body

128

valid

Compiler

Compiled 43 to 26 computations (39.5% saved)

Details

analyze62.0ms (3.2%)

sample14.0ms (0.7%)

simplify8.0ms (0.4%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

rewrite31.0ms (1.6%)

series36.0ms (1.8%)

simplify72.0ms (3.7%)

prune10.0ms (0.5%)

localize8.0ms (0.4%)

rewrite210.0ms (10.7%)

series127.0ms (6.5%)

simplify187.0ms (9.6%)

prune72.0ms (3.7%)

localize9.0ms (0.5%)

rewrite217.0ms (11%)

series128.0ms (6.5%)

simplify152.0ms (7.7%)

prune67.0ms (3.4%)

regimes86.0ms (4.4%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample458.0ms (23.3%)

Profiling