Details

analyze1.3s (8.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	382	400
1	382	400
0	6	6
1	6	6

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
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

Symmetry

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample32.0ms (0.2%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
1.0ms	11×	body	128	invalid

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	48	25
1	48	25

prune3.0ms (0%)

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

18.5b

Counts

2 → 1

Compiler

Compiled 34 to 30 computations (11.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y z) t))
3.5b	(/.f64 (*.f64 y b) t)
4.7b	(/.f64 (*.f64 y z) t)
15.2b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite171.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

14.2b

Rules

58×	`*-un-lft-identity_binary64_17469`
26×	`times-frac_binary64_17475`
22×	`distribute-lft-out_binary64_17420`
19×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
16×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
11×	`associate-/r*_binary64_17413`
6×	`add-log-exp_binary64_17508` `associate-/l*_binary64_17414`
5×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
4×	`pow1_binary64_17530` `flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-/r/_binary64_17415`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `div-inv_binary64_17466`
2×	`associate-/l/_binary64_17416` `frac-add_binary64_17477` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
1×	`sum-log_binary64_17560` `+-commutative_binary64_17399`

Counts

4 → 101

Calls

4 calls:

14.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
5.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
4.0ms	(/.f64 (*.f64 y b) t)
4.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 2733 to 866 computations (68.3% saved)

series1.7s (10.2%)

Error

2.8b

Counts

4 → 91

Calls

4 calls:

1.1s	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
177.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
104.0ms	(/.f64 (*.f64 y b) t)
100.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 9107 to 6014 computations (34% saved)

simplify90.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4986	6002
1	4986	6002

prune230.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	181	11	192
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	182	11	193

Error

1.4b

Counts

193 → 11

Compiler

Compiled 5769 to 1840 computations (68.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 z t)))
3.5b	(/.f64 (*.f64 y b) t)
4.6b	(*.f64 y (/.f64 z t))
15.2b	(/.f64 (+.f64 x (.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite137.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

44×	`*-un-lft-identity_binary64_17469`
29×	`add-sqr-sqrt_binary64_17491`
28×	`times-frac_binary64_17475`
24×	`add-cube-cbrt_binary64_17504`
16×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
13×	`associate-r_binary64_17409`
12×	`distribute-lft-out_binary64_17420`
8×	`associate-/r*_binary64_17413`
6×	`pow1_binary64_17530` `add-log-exp_binary64_17508`
4×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-/r/_binary64_17415` `associate-/l*_binary64_17414`
3×	`div-inv_binary64_17466` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `associate-l_binary64_17410`
2×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l/_binary64_17416` `frac-add_binary64_17477` `unswap-sqr_binary64_17437`
1×	`pow-prod-down_binary64_17540` `associate-r/_binary64_17411` `-commutative_binary64_17400` `sum-log_binary64_17560` `+-commutative_binary64_17399`

Counts

4 → 105

Calls

4 calls:

12.0ms	(/.f64 (+.f64 x (.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
7.0ms	(*.f64 y (/.f64 z t))
4.0ms	(/.f64 (*.f64 y b) t)
3.0ms	(+.f64 x (*.f64 y (/.f64 z t)))

Compiler

Compiled 2850 to 905 computations (68.2% saved)

series1.6s (10.2%)

Error

1.4b

Counts

4 → 91

Calls

4 calls:

1.2s	(/.f64 (+.f64 x (.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
171.0ms	(+.f64 x (*.f64 y (/.f64 z t)))
104.0ms	(*.f64 y (/.f64 z t))
99.0ms	(/.f64 (*.f64 y b) t)

Compiler

Compiled 9107 to 6014 computations (34% saved)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4993	5911
1	4993	5911

prune201.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	196	0	196
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	196	11	207

Error

1.4b

Counts

207 → 11

Compiler

Compiled 5865 to 1854 computations (68.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
3.3b	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
4.7b	(/.f64 (*.f64 y z) t)
15.2b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))

rewrite192.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

47×	`add-sqr-sqrt_binary64_17491`
43×	`times-frac_binary64_17475`
39×	`*-un-lft-identity_binary64_17469`
32×	`add-exp-log_binary64_17507`
31×	`add-cube-cbrt_binary64_17504`
25×	`add-cbrt-cube_binary64_17505`
22×	`associate-r_binary64_17409`
14×	`cbrt-prod_binary64_17500`
10×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
9×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
8×	`associate-/r/_binary64_17415`
7×	`associate-l_binary64_17410`
6×	`pow1_binary64_17530` `frac-add_binary64_17477` `associate-/r*_binary64_17413` `unswap-sqr_binary64_17437`
5×	`flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-/l*_binary64_17414`
4×	`add-log-exp_binary64_17508` `distribute-lft-out_binary64_17420` `div-inv_binary64_17466`
3×	`frac-times_binary64_17479` `associate-l/_binary64_17412` `associate-r/_binary64_17411`
2×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l/_binary64_17416`
1×	`pow-prod-down_binary64_17540` `*-commutative_binary64_17400` `pow1/3_binary64_17551`

Counts

4 → 132

Calls

4 calls:

20.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
13.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))
4.0ms	(/.f64 (*.f64 y z) t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 4790 to 1190 computations (75.2% saved)

series1.6s (10%)

Error

1.4b

Counts

4 → 70

Calls

4 calls:

1.2s	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))
138.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
102.0ms	(/.f64 (*.f64 y z) t)
75.0ms	(cbrt.f64 t)

Compiler

Compiled 8698 to 5707 computations (34.4% saved)

simplify82.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5014	6374

prune223.0ms (1.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	202	11	213

Error

1.4b

Counts

213 → 11

Compiler

Compiled 6853 to 2186 computations (68.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(/.f64 1 (/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t))))
3.5b	(/.f64 (*.f64 y b) t)
4.7b	(/.f64 (*.f64 z y) t)
15.1b	(/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t)))

rewrite559.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

243×	`*-un-lft-identity_binary64_17469`
184×	`times-frac_binary64_17475`
89×	`distribute-lft-out_binary64_17420`
86×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
36×	`associate-/r*_binary64_17413`
27×	`add-exp-log_binary64_17507`
21×	`add-cbrt-cube_binary64_17505`
12×	`div-exp_binary64_17520`
11×	`associate-/r/_binary64_17415`
10×	`associate-/l*_binary64_17414`
8×	`cbrt-undiv_binary64_17503` `div-inv_binary64_17466`
6×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
5×	`pow1_binary64_17530`
4×	`add-log-exp_binary64_17508` `frac-2neg_binary64_17480` `clear-num_binary64_17468`
2×	`associate-/l/_binary64_17416` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `1-exp_binary64_17513` `rec-exp_binary64_17519`
1×	`inv-pow_binary64_17554` `pow-flip_binary64_17543`

Counts

4 → 215

Calls

4 calls:

21.0ms	(/.f64 1 (/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t))))
15.0ms	(/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t)))
4.0ms	(/.f64 (*.f64 y b) t)
4.0ms	(/.f64 (*.f64 z y) t)

Compiler

Compiled 7267 to 2757 computations (62.1% saved)

series2.1s (12.9%)

Error

1.4b

Counts

4 → 100

Calls

4 calls:

1.2s	(/.f64 1 (/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t))))
559.0ms	(/.f64 (+.f64 a (+.f64 (/.f64 (.f64 y b) t) 1)) (+.f64 x (/.f64 (.f64 z y) t)))
108.0ms	(/.f64 (*.f64 z y) t)
107.0ms	(/.f64 (*.f64 y b) t)

Compiler

Compiled 11131 to 7245 computations (34.9% saved)

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

315 → 315

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5021	12045

prune366.0ms (2.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	314	1	315
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	315	11	326

Error

1.4b

Counts

326 → 11

Compiler

Compiled 10016 to 3197 computations (68.1% saved)

regimes2.5s (15.6%)

Accuracy

Total 7.9b remaining (86.4%)

Threshold costs 0b (0%)

Compiler

Compiled 25225 to 17427 computations (30.9% saved)

bsearch7.0ms (0%)

Compiler: Compiled 17 to 15 computations (11.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	114
1	35	114

Removed

()

end0.0ms (0%)

sample2.8s (17.2%)

Algorithm

1×

intervals

Results

421.0ms	8000×	body	128	valid
13.0ms	265×	body	128	invalid

Compiler

Compiled 3068 to 2100 computations (31.6% saved)

Details

analyze1.3s (8.2%)

sample32.0ms (0.2%)

simplify8.0ms (0.1%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite171.0ms (1.1%)

series1.7s (10.2%)

simplify90.0ms (0.6%)

prune230.0ms (1.4%)

localize12.0ms (0.1%)

rewrite137.0ms (0.8%)

series1.6s (10.2%)

simplify70.0ms (0.4%)

prune201.0ms (1.2%)

localize17.0ms (0.1%)

rewrite192.0ms (1.2%)

series1.6s (10%)

simplify82.0ms (0.5%)

prune223.0ms (1.4%)

localize13.0ms (0.1%)

rewrite559.0ms (3.4%)

series2.1s (12.9%)

simplify113.0ms (0.7%)

prune366.0ms (2.3%)

regimes2.5s (15.6%)

bsearch7.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.8s (17.2%)

Profiling