Details

analyze5.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample23.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify307.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (160.0ms)

Iter	Nodes	Cost
0	4819	28
1	4819	28

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x)
0.0b	(.f64 6369080665019903/9007199254740992 (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) x))
0.1b	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
17.4b	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_3127`
20×	`*-un-lft-identity_binary64_3142`
16×	`add-cube-cbrt_binary64_3113`
11×	`times-frac_binary64_3137`
10×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
9×	`associate-r_binary64_3201`
8×	`pow1_binary64_3088`
6×	`associate-l_binary64_3202` `add-log-exp_binary64_3107`
4×	`difference-of-squares_binary64_3171` `associate-*r/_binary64_3203`
3×	`associate-/l_binary64_3206` `associate-/r_binary64_3205` `flip-+_binary64_3167` `sub-neg_binary64_3146` `flip3-+_binary64_3140`
2×	`associate-/l/_binary64_3208` `distribute-lft-out--_binary64_3187` `cbrt-unprod_binary64_3111` `unswap-sqr_binary64_3170` `pow-prod-down_binary64_3069` `*-commutative_binary64_3210` `distribute-rgt-in_binary64_3185` `distribute-lft-in_binary64_3184` `associate-/r/_binary64_3207` `flip--_binary64_3168` `flip3--_binary64_3141` `prod-exp_binary64_3093`
1×	`cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `clear-num_binary64_3145` `frac-2neg_binary64_3135` `diff-log_binary64_3058` `div-inv_binary64_3143`

Counts

4 → 92

Calls

4 calls:

12.0ms	(-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x)
18.0ms	(.f64 6369080665019903/9007199254740992 (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) x))
6.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
8.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

series153.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x)
51.0ms	(.f64 6369080665019903/9007199254740992 (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) x))
44.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
22.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

simplify96.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4971	2826
1	4971	2826

prune442.0ms

Filtered

78 candidates to 104 candidates (-33.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	4	105

Merged error: 0b

Counts

105 → 4

localize204.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992) (*.f64 x -6369080665019903/9007199254740992))
0.1b	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
0.2b	(.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992)
17.4b	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_3127`
22×	`*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113`
19×	`times-frac_binary64_3137`
18×	`associate-l_binary64_3202`
13×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
8×	`pow1_binary64_3088`
6×	`associate-r_binary64_3201` `add-log-exp_binary64_3107`
5×	`flip-+_binary64_3167` `flip3-+_binary64_3140`
4×	`associate-/r/_binary64_3207`
3×	`associate-/l_binary64_3206` `associate-/r_binary64_3205` `cbrt-unprod_binary64_3111` `unswap-sqr_binary64_3170` `prod-exp_binary64_3093`
2×	`associate-/l/_binary64_3208` `cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `pow-prod-down_binary64_3069` `associate-r/_binary64_3203` `-commutative_binary64_3210` `div-inv_binary64_3143`
1×	`clear-num_binary64_3145` `+-commutative_binary64_3209` `associate-*l/_binary64_3204` `frac-2neg_binary64_3135` `sum-log_binary64_3057` `distribute-rgt-in_binary64_3185` `distribute-lft-in_binary64_3184`

Counts

4 → 98

Calls

4 calls:

10.0ms	(+.f64 (.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992) (*.f64 x -6369080665019903/9007199254740992))
6.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
9.0ms	(.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992)
7.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

series118.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+.f64 (.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992) (*.f64 x -6369080665019903/9007199254740992))
42.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
23.0ms	(.f64 (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) 6369080665019903/9007199254740992)
22.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

simplify74.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4881	2933
1	4881	2933

prune514.0ms

Filtered

85 candidates to 110 candidates (-29.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	111	3	114

Merged error: 0b

Counts

114 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) (*.f64 x -6369080665019903/9007199254740992))
0.1b	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
0.1b	(.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992)
17.4b	(/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_3127`
13×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
10×	`*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113`
8×	`pow1_binary64_3088`
6×	`associate-l_binary64_3202` `associate-r_binary64_3201` `add-log-exp_binary64_3107`
5×	`flip-+_binary64_3167` `flip3-+_binary64_3140`
4×	`associate-*l/_binary64_3204`
3×	`associate-/r*_binary64_3205` `cbrt-unprod_binary64_3111` `times-frac_binary64_3137` `prod-exp_binary64_3093`
2×	`associate-/l/_binary64_3208` `cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `unswap-sqr_binary64_3170` `pow-prod-down_binary64_3069` `associate-r/_binary64_3203` `-commutative_binary64_3210` `associate-/r/_binary64_3207`
1×	`associate-/l*_binary64_3206` `clear-num_binary64_3145` `+-commutative_binary64_3209` `frac-2neg_binary64_3135` `sum-log_binary64_3057` `distribute-rgt-in_binary64_3185` `distribute-lft-in_binary64_3184` `div-inv_binary64_3143`

Counts

4 → 78

Calls

4 calls:

10.0ms	(+.f64 (/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) (*.f64 x -6369080665019903/9007199254740992))
6.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
10.0ms	(.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992)
9.0ms	(/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))))

series126.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+.f64 (/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936))))) (*.f64 x -6369080665019903/9007199254740992))
38.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
32.0ms	(.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992)
24.0ms	(/.f64 (.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) 6369080665019903/9007199254740992) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))))

simplify72.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4910	1913
1	4910	1913

prune364.0ms

Filtered

65 candidates to 90 candidates (-38.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	91	2	93

Merged error: 0b

Counts

93 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))
0.1b	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
0.3b	(*.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)
17.4b	(/.f64 (+.f64 1034198505402457344669710228355/633825300114114700748351602688 (.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_3127`
16×	`*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113`
10×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
9×	`times-frac_binary64_3137`
8×	`pow1_binary64_3088`
6×	`associate-l_binary64_3202` `associate-r_binary64_3201` `add-log-exp_binary64_3107`
4×	`flip-+_binary64_3167` `flip3-+_binary64_3140`
3×	`associate-/l_binary64_3206` `associate-/r_binary64_3205`
2×	`associate-/l/_binary64_3208` `cbrt-unprod_binary64_3111` `unswap-sqr_binary64_3170` `pow-prod-down_binary64_3069` `associate-r/_binary64_3203` `-commutative_binary64_3210` `associate-/r/_binary64_3207` `prod-exp_binary64_3093`
1×	`cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `clear-num_binary64_3145` `+-commutative_binary64_3209` `frac-2neg_binary64_3135` `sum-log_binary64_3057` `distribute-rgt-in_binary64_3185` `distribute-lft-in_binary64_3184` `div-inv_binary64_3143`

Counts

4 → 82

Calls

4 calls:

3.0ms	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))
6.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
3.0ms	(*.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)
7.0ms	(/.f64 (+.f64 1034198505402457344669710228355/633825300114114700748351602688 (.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

series96.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))
43.0ms	(.f64 x (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)))
11.0ms	(*.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)
19.0ms	(/.f64 (+.f64 1034198505402457344669710228355/633825300114114700748351602688 (.f64 x 3881060112545747418883236907595/20282409603651670423947251286016)) (+.f64 1 (.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))

simplify102.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5005	1660

prune354.0ms

Filtered

67 candidates to 94 candidates (-40.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

96 → 2

regimes51.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	28
1	25	28

end0.0ms

sample507.0ms

Algorithm

intervals

Results

374.0ms

8000×

body

valid

Details

analyze5.0ms

sample23.0ms

simplify307.0ms

prune7.0ms

localize19.0ms

rewrite46.0ms

series153.0ms

simplify96.0ms

prune442.0ms

localize204.0ms

rewrite36.0ms

series118.0ms

simplify74.0ms

prune514.0ms

localize20.0ms

rewrite38.0ms

series126.0ms

simplify72.0ms

prune364.0ms

localize18.0ms

rewrite21.0ms

series96.0ms

simplify102.0ms

prune354.0ms

regimes51.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample507.0ms

Profiling