Details

analyze1.2s (23.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample36.0ms (0.7%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
5.0ms	107×	body	128	invalid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify169.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

prune7.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

Merged error: 0.0b

Counts

2 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.1b	(.f64 (.f64 a z) b)

rewrite22.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-log-exp_binary64_11571`
8×	`add-cbrt-cube_binary64_11568` `pow1_binary64_11593` `add-exp-log_binary64_11570`
7×	`sum-log_binary64_11623`
4×	`add-cube-cbrt_binary64_11567` `*-un-lft-identity_binary64_11535` `add-sqr-sqrt_binary64_11556`
3×	`cbrt-unprod_binary64_11565` `associate-r_binary64_11477` `prod-exp_binary64_11581` `pow-prod-down_binary64_11603`
2×	`+-commutative_binary64_11467` `flip-+_binary64_11509` `flip3-+_binary64_11538`
1×	`associate-+l+_binary64_11470` `associate-l_binary64_11478` `*-commutative_binary64_11468`

Counts

3 → 43

Calls

3 calls:

10.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
6.0ms	(.f64 (.f64 a z) b)
3.0ms	(+.f64 x (*.f64 y z))

series310.0ms (6%)

Counts

3 → 9

Calls

3 calls:

207.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
56.0ms	(.f64 (.f64 a z) b)
47.0ms	(+.f64 x (*.f64 y z))

simplify48.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5218	743

prune46.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	48	4	52
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	48	6	54

Merged error: 0.0b

Counts

54 → 6

Compiler

Compiled 1083 to 232 computations (78.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
0.0b	(+.f64 t (*.f64 z b))
0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
1.8b	(.f64 a (+.f64 t (.f64 z b)))

rewrite24.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_11571`
8×	`*-un-lft-identity_binary64_11535` `add-sqr-sqrt_binary64_11556`
6×	`add-cube-cbrt_binary64_11567` `add-cbrt-cube_binary64_11568` `pow1_binary64_11593` `add-exp-log_binary64_11570`
5×	`sum-log_binary64_11623`
4×	`flip-+_binary64_11509` `flip3-+_binary64_11538`
3×	`associate-l_binary64_11478` `associate-+r+_binary64_11469` `+-commutative_binary64_11467` `associate-r_binary64_11477`
2×	`associate-*r/_binary64_11479` `distribute-lft-in_binary64_11486` `distribute-rgt-in_binary64_11487`
1×	`unswap-sqr_binary64_11503` `distribute-lft-out_binary64_11488` `cbrt-unprod_binary64_11565` `*-commutative_binary64_11468` `prod-exp_binary64_11581` `pow-prod-down_binary64_11603`

Counts

4 → 60

Calls

4 calls:

6.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
6.0ms	(.f64 a (+.f64 t (.f64 z b)))
4.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
3.0ms	(+.f64 t (*.f64 z b))

series479.0ms (9.2%)

Counts

4 → 12

Calls

4 calls:

191.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
125.0ms	(.f64 a (+.f64 t (.f64 z b)))
108.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
55.0ms	(+.f64 t (*.f64 z b))

simplify66.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4987	1193
1	4987	1193

prune66.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	71	7	78

Merged error: 0.0b

Counts

78 → 7

Compiler

Compiled 1473 to 350 computations (76.2% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 z b) (*.f64 z b))
2.6b	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))
8.6b	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
20.7b	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))

rewrite43.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`pow1_binary64_11593`
23×	`add-cbrt-cube_binary64_11568` `add-exp-log_binary64_11570`
18×	`pow-prod-down_binary64_11603`
10×	`add-sqr-sqrt_binary64_11556` `cbrt-unprod_binary64_11565` `prod-exp_binary64_11581`
8×	`add-cube-cbrt_binary64_11567` `*-un-lft-identity_binary64_11535`
6×	`add-log-exp_binary64_11571`
5×	`associate-r_binary64_11477`
4×	`associate-l_binary64_11478` `associate-*r/_binary64_11479` `flip3--_binary64_11539` `pow-prod-up_binary64_11602` `flip--_binary64_11510` `pow-sqr_binary64_11508`
3×	`times-frac_binary64_11541` `sub-neg_binary64_11528` `associate-/r*_binary64_11481`
2×	`difference-of-squares_binary64_11504` `cbrt-undiv_binary64_11566` `div-exp_binary64_11583` `associate-/r/_binary64_11483` `associate-/l/_binary64_11484` `*-commutative_binary64_11468` `pow-plus_binary64_11595`
1×	`unswap-sqr_binary64_11503` `div-inv_binary64_11532` `pow2_binary64_11613` `clear-num_binary64_11534` `diff-log_binary64_11624` `distribute-lft-in_binary64_11486` `distribute-rgt-in_binary64_11487` `associate-/l*_binary64_11482` `frac-2neg_binary64_11546` `swap-sqr_binary64_11502`

Counts

4 → 94

Calls

4 calls:

12.0ms	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))
8.0ms	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
7.0ms	(.f64 (.f64 z b) (*.f64 z b))
5.0ms	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))

series805.0ms (15.4%)

Counts

4 → 12

Calls

4 calls:

346.0ms	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))
295.0ms	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
122.0ms	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))
42.0ms	(.f64 (.f64 z b) (*.f64 z b))

simplify66.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4977	1664
1	4977	1664

prune104.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	106	7	113

Merged error: 0.0b

Counts

113 → 7

Compiler

Compiled 3047 to 719 computations (76.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 z y) (.f64 a (+.f64 (*.f64 z b) t)))
0.0b	(+.f64 (*.f64 z b) t)
1.8b	(.f64 a (+.f64 (.f64 z b) t))

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64_11556` `add-log-exp_binary64_11571`
5×	`add-cube-cbrt_binary64_11567` `*-un-lft-identity_binary64_11535` `add-cbrt-cube_binary64_11568` `pow1_binary64_11593` `add-exp-log_binary64_11570`
3×	`associate-l_binary64_11478` `associate-r_binary64_11477` `flip-+_binary64_11509` `flip3-+_binary64_11538`
2×	`associate-*r/_binary64_11479` `associate-+r+_binary64_11469` `+-commutative_binary64_11467` `sum-log_binary64_11623` `distribute-lft-in_binary64_11486` `distribute-rgt-in_binary64_11487`
1×	`unswap-sqr_binary64_11503` `cbrt-unprod_binary64_11565` `*-commutative_binary64_11468` `prod-exp_binary64_11581` `pow-prod-down_binary64_11603`

Counts

3 → 46

Calls

3 calls:

8.0ms	(.f64 a (+.f64 (.f64 z b) t))
5.0ms	(+.f64 (.f64 z y) (.f64 a (+.f64 (*.f64 z b) t)))
4.0ms	(+.f64 (*.f64 z b) t)

series238.0ms (4.6%)

Counts

3 → 9

Calls

3 calls:

112.0ms	(+.f64 (.f64 z y) (.f64 a (+.f64 (*.f64 z b) t)))
89.0ms	(.f64 a (+.f64 (.f64 z b) t))
37.0ms	(+.f64 (*.f64 z b) t)

simplify59.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5039	800

prune37.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	55	7	62

Merged error: 0.0b

Counts

62 → 7

Compiler

Compiled 898 to 173 computations (80.7% saved)

regimes131.0ms (2.5%)

Compiler: Compiled 1015 to 819 computations (19.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 15 to 13 computations (13.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	65
1	33	65

end0.0ms (0%)

sample1.1s (22%)

Algorithm

1×

intervals

Results

365.0ms	8000×	body	128	valid
165.0ms	3822×	body	128	invalid

Compiler

Compiled 246 to 167 computations (32.1% saved)

Details

analyze1.2s (23.8%)

sample36.0ms (0.7%)

simplify169.0ms (3.2%)

prune7.0ms (0.1%)

localize11.0ms (0.2%)

rewrite22.0ms (0.4%)

series310.0ms (6%)

simplify48.0ms (0.9%)

prune46.0ms (0.9%)

localize10.0ms (0.2%)

rewrite24.0ms (0.5%)

series479.0ms (9.2%)

simplify66.0ms (1.3%)

prune66.0ms (1.3%)

localize14.0ms (0.3%)

rewrite43.0ms (0.8%)

series805.0ms (15.4%)

simplify66.0ms (1.3%)

prune104.0ms (2%)

localize8.0ms (0.2%)

rewrite21.0ms (0.4%)

series238.0ms (4.6%)

simplify59.0ms (1.1%)

prune37.0ms (0.7%)

regimes131.0ms (2.5%)

bsearch1.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.1s (22%)

Profiling