Details

analyze1.7s (14%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 20 to 19 computations (5% saved)

sample50.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
10.0ms	180×	body	128	invalid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify562.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (460.0ms)

Iter	Nodes	Cost
0	3126	28
1	3126	28

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 6.4b

Counts

2 → 1

Compiler

Compiled 38 to 36 computations (5.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
0.1b	(.f64 (+.f64 a (.f64 b c)) c)
8.0b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite32.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`associate-*l/_binary64_15025`
11×	`add-cbrt-cube_binary64_15118` `pow1_binary64_15143` `add-log-exp_binary64_15121` `add-exp-log_binary64_15120`
9×	`add-sqr-sqrt_binary64_15104`
7×	`add-cube-cbrt_binary64_15117` `flip-+_binary64_15056` `*-un-lft-identity_binary64_15082` `flip3-+_binary64_15085`
6×	`associate-r_binary64_15022`
4×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `frac-sub_binary64_15091` `cbrt-unprod_binary64_15115` `associate-l_binary64_15023`
2×	`sum-log_binary64_15173` `*-commutative_binary64_15013` `diff-log_binary64_15174`
1×	`associate--l+_binary64_15019` `unswap-sqr_binary64_15050` `cancel-sign-sub-inv_binary64_15048` `flip3--_binary64_15086` `sub-neg_binary64_15075` `+-commutative_binary64_15012` `flip--_binary64_15057`

Counts

4 → 69

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
7.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
6.0ms	(.f64 (+.f64 a (.f64 b c)) c)
4.0ms	(+.f64 (.f64 x y) (.f64 z t))

series1.3s (11%)

Counts

4 → 112

Calls

4 calls:

831.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
210.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
144.0ms	(+.f64 (.f64 x y) (.f64 z t))
124.0ms	(.f64 (+.f64 a (.f64 b c)) c)

Compiler

Compiled 3222 to 3174 computations (1.5% saved)

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5115	3216

prune165.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	174	7	181
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	174	8	182

Merged error: 0.0b

Counts

182 → 8

Compiler

Compiled 4112 to 953 computations (76.8% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 a (*.f64 b c))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
7.1b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_15121`
9×	`add-cbrt-cube_binary64_15118` `pow1_binary64_15143` `add-exp-log_binary64_15120`
7×	`flip-+_binary64_15056` `flip3-+_binary64_15085`
6×	`associate-*l/_binary64_15025`
5×	`add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082` `add-sqr-sqrt_binary64_15104`
4×	`frac-sub_binary64_15091`
3×	`pow-prod-down_binary64_15153` `sum-log_binary64_15173` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-l_binary64_15023`
2×	`+-commutative_binary64_15012` `diff-log_binary64_15174`
1×	`associate--l+_binary64_15019` `cancel-sign-sub-inv_binary64_15048` `flip3--_binary64_15086` `sub-neg_binary64_15075` `-commutative_binary64_15013` `flip--_binary64_15057` `associate-r*_binary64_15022`

Counts

4 → 60

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
7.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
3.0ms	(+.f64 a (*.f64 b c))

series1.3s (11%)

Counts

4 → 113

Calls

4 calls:

846.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
208.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
166.0ms	(+.f64 (.f64 x y) (.f64 z t))
90.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 3219 to 3165 computations (1.7% saved)

simplify54.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5273	3041

prune130.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	173	8	181

Merged error: 0.0b

Counts

181 → 8

Compiler

Compiled 3873 to 875 computations (77.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.4b	(cbrt.f64 (+.f64 a (*.f64 b c)))
2.4b	(cbrt.f64 (+.f64 a (*.f64 b c)))
2.5b	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))
2.9b	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))

rewrite51.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_15114`
30×	`flip-+_binary64_15056` `pow1_binary64_15143` `add-exp-log_binary64_15120` `flip3-+_binary64_15085`
28×	`frac-times_binary64_15092` `associate-*r/_binary64_15024`
18×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `add-cbrt-cube_binary64_15118`
14×	`associate-*l/_binary64_15025`
9×	`cbrt-prod_binary64_15113`
8×	`add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082` `add-sqr-sqrt_binary64_15104`
7×	`associate-r_binary64_15022`
4×	`add-log-exp_binary64_15121`
2×	`pow1/3_binary64_15164` `associate-l_binary64_15023` `*-commutative_binary64_15013`

Counts

4 → 103

Calls

4 calls:

19.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))
10.0ms	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))
3.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))
3.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))

series1.0s (8.5%)

Counts

4 → 74

Calls

4 calls:

429.0ms	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))
217.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))
186.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))
185.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))

Compiler

Compiled 4891 to 3656 computations (25.3% saved)

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4983	4430
1	4983	4430

prune197.0ms (1.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	177	8	185

Merged error: 0.0b

Counts

185 → 8

Compiler

Compiled 7023 to 1461 computations (79.2% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.0b	(.f64 (.f64 c (+.f64 a (*.f64 b c))) i)
9.6b	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
9.6b	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
9.6b	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64_15118` `pow1_binary64_15143` `add-exp-log_binary64_15120`
8×	`associate-l/_binary64_15025` `associate-r/_binary64_15024`
6×	`cbrt-div_binary64_15114`
5×	`add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082` `add-sqr-sqrt_binary64_15104`
4×	`flip-+_binary64_15056` `add-log-exp_binary64_15121` `flip3-+_binary64_15085`
3×	`pow-prod-down_binary64_15153` `pow1/3_binary64_15164` `cbrt-prod_binary64_15113` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-r_binary64_15022`
1×	`associate-l_binary64_15023` `*-commutative_binary64_15013`

Counts

4 → 53

Calls

4 calls:

7.0ms	(.f64 (.f64 c (+.f64 a (*.f64 b c))) i)
5.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
5.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
5.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))

series1.7s (14.3%)

Counts

4 → 87

Calls

4 calls:

500.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
477.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
473.0ms	(cbrt.f64 (.f64 (.f64 c (+.f64 a (*.f64 b c))) i))
247.0ms	(.f64 (.f64 c (+.f64 a (*.f64 b c))) i)

Compiler

Compiled 8221 to 5429 computations (34% saved)

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5137	3685

prune177.0ms (1.5%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	140	8	148

Merged error: 0.0b

Counts

148 → 8

Compiler

Compiled 7089 to 1267 computations (82.1% saved)

regimes975.0ms (8.2%)

Compiler: Compiled 10914 to 8703 computations (20.3% saved)

bsearch2.0ms (0%)

Compiler: Compiled 7 to 11 computations (-57.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	192	117
1	192	117

end0.0ms (0%)

sample2.2s (18.2%)

Algorithm

1×

intervals

Results

468.0ms	8000×	body	128	valid
447.0ms	7032×	body	128	invalid

Compiler

Compiled 830 to 635 computations (23.5% saved)

Details

analyze1.7s (14%)

sample50.0ms (0.4%)

simplify562.0ms (4.7%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite32.0ms (0.3%)

series1.3s (11%)

simplify61.0ms (0.5%)

prune165.0ms (1.4%)

localize18.0ms (0.1%)

rewrite27.0ms (0.2%)

series1.3s (11%)

simplify54.0ms (0.5%)

prune130.0ms (1.1%)

localize18.0ms (0.2%)

rewrite51.0ms (0.4%)

series1.0s (8.5%)

simplify90.0ms (0.8%)

prune197.0ms (1.7%)

localize19.0ms (0.2%)

rewrite31.0ms (0.3%)

series1.7s (14.3%)

simplify58.0ms (0.5%)

prune177.0ms (1.5%)

regimes975.0ms (8.2%)

bsearch2.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample2.2s (18.2%)

Profiling