Details

analyze112.0ms (6.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	289	13
1	289	13
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
75%	12.5%	12.5%	5
75%	6.2%	18.8%	6
75%	3.1%	21.9%	7
75%	1.6%	23.5%	8
75%	0.8%	24.3%	9
75%	0.4%	24.6%	10
75%	0.2%	24.8%	11
75%	0.1%	24.9%	12
75%	0%	24.9%	13
75%	0%	25%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample11.0ms (0.7%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify18.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	289	13
1	289	13

prune2.0ms (0.1%)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b

(-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))

0.0b

(+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))

0.1b

(*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))

rewrite14.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_2504` `add-sqr-sqrt_binary64_2487`
5×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
3×	`associate-r_binary64_2405` `associate-l_binary64_2406`
2×	`flip3-+_binary64_2468` `associate--r+_binary64_2401` `distribute-lft-in_binary64_2414` `flip-+_binary64_2439` `associate-*r/_binary64_2407` `distribute-rgt-in_binary64_2415`
1×	`*-commutative_binary64_2396` `+-commutative_binary64_2395` `flip--_binary64_2440` `sum-log_binary64_2556` `sub-neg_binary64_2458` `unswap-sqr_binary64_2433` `cancel-sign-sub-inv_binary64_2431` `diff-log_binary64_2557` `prod-exp_binary64_2514` `pow-prod-down_binary64_2536` `flip3--_binary64_2469` `cbrt-unprod_binary64_2498`

Counts

3 → 47

Calls

3 calls:

6.0ms

(*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))

3.0ms

(-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))

3.0ms

(+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))

series72.0ms (4.2%)

Counts

3 → 9

Calls

3 calls:

37.0ms

(*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))

19.0ms

(+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))

16.0ms

(-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))

simplify62.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5182	748

prune59.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	50	6	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	7	57

Error

0.0b

Counts

57 → 7

Compiler

Compiled 872 to 693 computations (20.5% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x 1080863910568919/9007199254740992) x))
0.2b	(.f64 (.f64 x 1080863910568919/9007199254740992) x)

rewrite13.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
3×	`-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `diff-log_binary64_2557` `prod-exp_binary64_2514` `associate-r*_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431` `associate--l+_binary64_2402`
1×	`-commutative_binary64_2396` `flip--_binary64_2440` `associate--l-_binary64_2403` `flip3--_binary64_2469` `associate-l*_binary64_2406`

Counts

2 → 34

Calls

2 calls:

6.0ms	(-.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x 1080863910568919/9007199254740992) x))
5.0ms	(.f64 (.f64 x 1080863910568919/9007199254740992) x)

series31.0ms (1.8%)

Counts

2 → 6

Calls

2 calls:

18.0ms	(.f64 (.f64 x 1080863910568919/9007199254740992) x)
13.0ms	(-.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x 1080863910568919/9007199254740992) x))

simplify54.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5019	492

prune38.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	4	1	5
Picked	1	0	1
Done	0	1	1
Total	44	3	47

Error

Counts

47 → 3

Compiler

Compiled 584 to 454 computations (22.3% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x x) -1080863910568919/9007199254740992))
0.2b	(.f64 (.f64 x x) -1080863910568919/9007199254740992)

rewrite15.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
4×	`add-sqr-sqrt_binary64_2487`
3×	`-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `prod-exp_binary64_2514` `associate-r*_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`sum-log_binary64_2556` `associate-+l+_binary64_2398`
1×	`flip3-+_binary64_2468` `associate-+l-_binary64_2400` `-commutative_binary64_2396` `+-commutative_binary64_2395` `flip-+_binary64_2439` `sub-neg_binary64_2458` `unswap-sqr_binary64_2433` `cancel-sign-sub-inv_binary64_2431` `diff-log_binary64_2557` `associate-l*_binary64_2406`

Counts

2 → 34

Calls

2 calls:

7.0ms	(+.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x x) -1080863910568919/9007199254740992))
6.0ms	(.f64 (.f64 x x) -1080863910568919/9007199254740992)

series33.0ms (1.9%)

Counts

2 → 6

Calls

2 calls:

17.0ms	(.f64 (.f64 x x) -1080863910568919/9007199254740992)
15.0ms	(+.f64 (-.f64 1 (.f64 x 2278821411449471/9007199254740992)) (.f64 (*.f64 x x) -1080863910568919/9007199254740992))

simplify44.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4888	492
1	4888	492

prune32.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	40	3	43

Error

Counts

43 → 3

Compiler

Compiled 578 to 434 computations (24.9% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (.f64 x 1080863910568919/9007199254740992))))
0.2b	(/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
0.2b	(.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
0.4b	(*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)

rewrite38.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_2487`
23×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
19×	`times-frac_binary64_2471` `associate-r_binary64_2405`
18×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
13×	`pow1_binary64_2526`
9×	`associate-l_binary64_2406`
6×	`prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
5×	`pow-prod-down_binary64_2536`
4×	`add-log-exp_binary64_2504` `associate-/r/_binary64_2411`
3×	`-commutative_binary64_2396` `associate-/r_binary64_2409` `flip--_binary64_2440` `unswap-sqr_binary64_2433` `flip3--_binary64_2469` `associate-/l*_binary64_2410`
2×	`associate-/l/_binary64_2412` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `div-inv_binary64_2462`
1×	`associate-*r/_binary64_2407` `clear-num_binary64_2464` `div-sub_binary64_2470` `frac-2neg_binary64_2476`

Counts

4 → 102

Calls

4 calls:

11.0ms	(.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (.f64 x 1080863910568919/9007199254740992))))
7.0ms	(.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
7.0ms	(/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
4.0ms	(*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)

series174.0ms (10.1%)

Counts

4 → 12

Calls

4 calls:

91.0ms	(.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (.f64 x 1080863910568919/9007199254740992))))
56.0ms	(/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
17.0ms	(.f64 x (.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
11.0ms	(*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)

simplify78.0ms (4.6%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4926	2077
1	4926	2077

prune143.0ms (8.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

117 → 3

Compiler

Compiled 2689 to 2101 computations (21.9% saved)

regimes83.0ms (4.8%)

Accuracy

Total 0.1b remaining (94.4%)

Threshold costs 0.1b (94.4%)

Compiler

Compiled 694 to 582 computations (16.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	13
1	64	13

end0.0ms (0%)

sample557.0ms (32.4%)

Algorithm

1×

intervals

Results

194.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 239 to 202 computations (15.5% saved)

Details

analyze112.0ms (6.6%)

sample11.0ms (0.7%)

simplify18.0ms (1%)

prune2.0ms (0.1%)

localize6.0ms (0.3%)

rewrite14.0ms (0.8%)

series72.0ms (4.2%)

simplify62.0ms (3.6%)

prune59.0ms (3.4%)

localize7.0ms (0.4%)

rewrite13.0ms (0.8%)

series31.0ms (1.8%)

simplify54.0ms (3.1%)

prune38.0ms (2.2%)

localize7.0ms (0.4%)

rewrite15.0ms (0.9%)

series33.0ms (1.9%)

simplify44.0ms (2.5%)

prune32.0ms (1.9%)

localize11.0ms (0.6%)

rewrite38.0ms (2.2%)

series174.0ms (10.1%)

simplify78.0ms (4.6%)

prune143.0ms (8.3%)

regimes83.0ms (4.8%)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample557.0ms (32.4%)

Profiling