Details

analyze632.0ms (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
16.4%	83.4%	0.2%	9
21.4%	78.4%	0.2%	10
25.1%	74.7%	0.2%	11
28%	70.2%	1.9%	12
39.6%	55.8%	4.6%	13
43.9%	50.4%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	61×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify155.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	734	13
1	734	13

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

5.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

5.8b	(/.f64 (*.f64 (-.f64 y x) z) t)
0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
5.8b	(/.f64 (*.f64 (-.f64 y x) z) t)

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_14059` `add-sqr-sqrt_binary64_14081`
10×	`add-cbrt-cube_binary64_14095` `add-exp-log_binary64_14097`
7×	`add-cube-cbrt_binary64_14094`
5×	`add-log-exp_binary64_14098` `pow1_binary64_14120` `associate-l_binary64_14000`
4×	`associate-*l/_binary64_14002`
3×	`associate-r_binary64_13999` `times-frac_binary64_14065` `associate-/r*_binary64_14003`
2×	`flip--_binary64_14034` `prod-exp_binary64_14108` `div-exp_binary64_14110` `cbrt-unprod_binary64_14092` `associate-/l/_binary64_14006` `cbrt-undiv_binary64_14093` `flip3--_binary64_14063`
1×	`frac-2neg_binary64_14070` `sum-log_binary64_14150` `flip-+_binary64_14033` `-commutative_binary64_13990` `distribute-lft-out_binary64_14010` `div-inv_binary64_14056` `clear-num_binary64_14058` `unswap-sqr_binary64_14027` `pow-prod-down_binary64_14130` `difference-of-squares_binary64_14028` `+-commutative_binary64_13989` `distribute-lft-out--_binary64_14011` `flip3-+_binary64_14062` `associate-/l_binary64_14004`

Counts

3 → 57

Calls

6 calls:

7.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
6.0ms	(*.f64 (-.f64 y x) z)
5.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0ms	(*.f64 (-.f64 y x) z)

series583.0ms (7.1%)

Counts

3 → 57

Calls

3 calls:

281.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
205.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
97.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 940 to 797 computations (15.2% saved)

simplify57.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5127	1245

prune92.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	106	8	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	8	115

Error

0.0b

Counts

115 → 8

Compiler

Compiled 1385 to 324 computations (76.6% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.3b	(/.f64 (-.f64 y x) (/.f64 t z))
0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
6.3b	(/.f64 (-.f64 y x) (/.f64 t z))

rewrite41.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

119×	`times-frac_binary64_14065`
88×	`*-un-lft-identity_binary64_14059`
86×	`add-sqr-sqrt_binary64_14081`
58×	`add-cube-cbrt_binary64_14094`
14×	`difference-of-squares_binary64_14028` `distribute-lft-out--_binary64_14011`
13×	`associate-/r*_binary64_14003`
7×	`add-cbrt-cube_binary64_14095` `div-inv_binary64_14056` `add-exp-log_binary64_14097`
5×	`associate-/l*_binary64_14004`
4×	`add-log-exp_binary64_14098`
3×	`div-exp_binary64_14110` `cbrt-undiv_binary64_14093`
2×	`div-sub_binary64_14064` `associate-/l/_binary64_14006` `pow1_binary64_14120`
1×	`frac-2neg_binary64_14070` `sum-log_binary64_14150` `flip--_binary64_14034` `flip-+_binary64_14033` `associate-+r-_binary64_13993` `distribute-lft-out_binary64_14010` `clear-num_binary64_14058` `+-commutative_binary64_13989` `associate-/r/_binary64_14005` `flip3-+_binary64_14062` `flip3--_binary64_14063`

Counts

2 → 114

Calls

4 calls:

21.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
9.0ms	(/.f64 (-.f64 y x) (/.f64 t z))
0.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
0.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

series489.0ms (6%)

Counts

2 → 42

Calls

2 calls:

283.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
206.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

Compiler

Compiled 706 to 593 computations (16% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5116	2932

prune121.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	152	4	156
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	157	7	164

Error

0.0b

Counts

164 → 7

Compiler

Compiled 2485 to 466 computations (81.2% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b	(*.f64 (-.f64 y x) (/.f64 z t))
0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
6.2b	(*.f64 (-.f64 y x) (/.f64 z t))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_14081`
13×	`associate-r_binary64_13999`
12×	`*-un-lft-identity_binary64_14059`
10×	`add-cube-cbrt_binary64_14094` `times-frac_binary64_14065`
7×	`add-cbrt-cube_binary64_14095` `add-exp-log_binary64_14097`
5×	`associate-l_binary64_14000`
4×	`add-log-exp_binary64_14098` `pow1_binary64_14120`
2×	`frac-times_binary64_14069` `flip--_binary64_14034` `associate-*l/_binary64_14002` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `unswap-sqr_binary64_14027` `flip3--_binary64_14063`
1×	`sum-log_binary64_14150` `flip-+_binary64_14033` `div-exp_binary64_14110` `-commutative_binary64_13990` `div-inv_binary64_14056` `cbrt-undiv_binary64_14093` `associate-r/_binary64_14001` `pow-prod-down_binary64_14130` `difference-of-squares_binary64_14028` `+-commutative_binary64_13989` `distribute-lft-out--_binary64_14011` `flip3-+_binary64_14062`

Counts

2 → 49

Calls

4 calls:

10.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
0.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
0.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

series476.0ms (5.8%)

Counts

2 → 42

Calls

2 calls:

274.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
202.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

Compiler

Compiled 706 to 593 computations (16% saved)

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5762	1171

prune52.0ms (0.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	91	7	98

Error

0.0b

Counts

98 → 7

Compiler

Compiled 1160 to 250 computations (78.4% saved)

localize15.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))
0.4b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z))))
0.3b	(/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z)))
0.0b	(+.f64 x (.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))) (/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z)))))
0.6b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))) (/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z))))
10.6b	(cbrt.f64 (/.f64 t z))
10.6b	(cbrt.f64 (/.f64 t z))
10.6b	(cbrt.f64 (/.f64 t z))

rewrite86.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

175×	`times-frac_binary64_14065`
148×	`add-sqr-sqrt_binary64_14081`
120×	`*-un-lft-identity_binary64_14059`
110×	`cbrt-prod_binary64_14090`
85×	`associate-r_binary64_13999`
84×	`add-cube-cbrt_binary64_14094`
49×	`add-exp-log_binary64_14097`
20×	`prod-exp_binary64_14108`
18×	`add-cbrt-cube_binary64_14095`
16×	`difference-of-squares_binary64_14028` `distribute-lft-out--_binary64_14011`
15×	`div-exp_binary64_14110`
12×	`unswap-sqr_binary64_14027`
10×	`div-inv_binary64_14056` `associate-l_binary64_14000`
8×	`cbrt-unprod_binary64_14092` `cbrt-div_binary64_14091`
7×	`cbrt-undiv_binary64_14093`
6×	`pow1_binary64_14120`
4×	`add-log-exp_binary64_14098` `rec-exp_binary64_14109` `1-exp_binary64_14103` `associate-/r/_binary64_14005`
3×	`pow1/3_binary64_14141`
2×	`frac-times_binary64_14069` `associate-l/_binary64_14002` `associate-r/_binary64_14001`
1×	`*-commutative_binary64_13990` `pow-prod-down_binary64_14130`

Counts

4 → 205

Calls

8 calls:

46.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))) (/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z))))
2.0ms	(cbrt.f64 (/.f64 t z))
2.0ms	(cbrt.f64 (/.f64 t z))
2.0ms	(cbrt.f64 (/.f64 t z))
0.0ms	(+.f64 x (.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))) (/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z)))))

series857.0ms (10.5%)

Counts

4 → 36

Calls

4 calls:

268.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 t z)) (cbrt.f64 (/.f64 t z)))) (/.f64 (-.f64 y x) (cbrt.f64 (/.f64 t z))))
200.0ms	(cbrt.f64 (/.f64 t z))
198.0ms	(cbrt.f64 (/.f64 t z))
190.0ms	(cbrt.f64 (/.f64 t z))

Compiler

Compiled 1404 to 1100 computations (21.7% saved)

simplify117.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

241 → 241

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4978	5416
1	4978	5416

prune213.0ms (2.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	241	0	241
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	241	7	248

Error

0.0b

Counts

248 → 7

Compiler

Compiled 6457 to 1269 computations (80.3% saved)

simplify55.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	1563	624
1	1563	624

regimes197.0ms (2.4%)

Compiler: Compiled 1592 to 1252 computations (21.4% saved)

bsearch0.0ms (0%)

regimes281.0ms (3.4%)

Compiler: Compiled 1456 to 1184 computations (18.7% saved)

bsearch45.0ms (0.6%)

Steps

Iters	Range		Point
8	7.30923349101767e+172	9.098937274771627e+175	7.433079287520896e+172
8	-2.3332738386517508e+67	-1.1771286136437085e+63	-1.1179816606133411e+64

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes111.0ms (1.4%)

Compiler: Compiled 368 to 448 computations (-21.7% saved)

bsearch35.0ms (0.4%)

Steps

Iters	Range		Point
8	1.3749149935410374e-41	4.760294509868728e-39	1.5448624974210764e-41
7	-3.727455527566388e-210	-1.5751365110822086e-211	-1.2721410838003617e-210

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes123.0ms (1.5%)

Compiler: Compiled 332 to 416 computations (-25.3% saved)

bsearch39.0ms (0.5%)

Steps

Iters	Range		Point
9	3.2682028817347714e-50	3.809036417706326e-42	3.436078276673044e-50
7	5.845538530454051e-274	2.8704937860927538e-272	1.7884550304038338e-272

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes105.0ms (1.3%)

Compiler: Compiled 296 to 384 computations (-29.7% saved)

bsearch40.0ms (0.5%)

Steps

Iters	Range		Point
3	3.8755263940260203e-218	4.898981264436909e-218	3.9280415182811897e-218
7	-1.6331282876492011e-243	-1.8668652131495116e-245	-3.8100894990775214e-245

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes351.0ms (4.3%)

Compiler: Compiled 260 to 352 computations (-35.4% saved)

bsearch41.0ms (0.5%)

Steps

Iters	Range		Point
8	2.2084217554369564e-177	6.73634400448733e-174	8.422277528823603e-175
10	-4.6239355292743434e-33	-1.0821604150094574e-47	-7.801735086200885e-46

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes152.0ms (1.9%)

Compiler: Compiled 232 to 324 computations (-39.7% saved)

bsearch39.0ms (0.5%)

Steps

Iters	Range		Point
8	2.2084217554369564e-177	6.73634400448733e-174	6.6451556900716525e-174
10	-4.6239355292743434e-33	-1.0821604150094574e-47	-1.3030022012353711e-47

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes168.0ms (2.1%)

Compiler: Compiled 120 to 212 computations (-76.7% saved)

bsearch32.0ms (0.4%)

Steps

Iters	Range		Point
11	2.6376920665593854e-115	1.2971637202961428e-93	8.2997827565203e-114
5	-3.919072874641295e-120	-1.3479276044999051e-120	-1.774159551238286e-120

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes156.0ms (1.9%)

Compiler: Compiled 92 to 184 computations (-100% saved)

bsearch38.0ms (0.5%)

Steps

Iters	Range		Point
11	2.6376920665593854e-115	1.2971637202961428e-93	9.146839396854014e-111
5	-3.919072874641295e-120	-1.3479276044999051e-120	-2.6598175863133953e-120

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes161.0ms (2%)

Compiler: Compiled 64 to 156 computations (-143.8% saved)

bsearch72.0ms (0.9%)

Steps

Iters	Range		Point
8	2.905689432810876e-30	5.086140650546861e-27	2.9387611468666887e-30
6	2.8914060142763534e-69	4.200015937436329e-68	2.7724922578735122e-68
11	2.6376920665593854e-115	1.2971637202961428e-93	1.108090910559699e-100
10	-2.019247454527515e-86	-2.046097349179211e-105	-1.2926537485615926e-104

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes147.0ms (1.8%)

Compiler: Compiled 44 to 132 computations (-200% saved)

bsearch71.0ms (0.9%)

Steps

Iters	Range		Point
8	2.905689432810876e-30	5.086140650546861e-27	2.9387611468666887e-30
6	2.8914060142763534e-69	4.200015937436329e-68	2.99765774095701e-68
11	2.6376920665593854e-115	1.2971637202961428e-93	5.109114698568901e-106
10	-2.019247454527515e-86	-2.046097349179211e-105	-3.807593210986246e-95

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes38.0ms (0.5%)

Compiler: Compiled 24 to 108 computations (-350% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.4%)

Compiler: Compiled 20 to 92 computations (-360% saved)

bsearch0.0ms (0%)

regimes34.0ms (0.4%)

Accuracy

Total 2.6b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch14.0ms (0.2%)

Compiler: Compiled 345 to 205 computations (40.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	215	453
1	215	453

end0.0ms (0%)

sample1.4s (16.8%)

Algorithm

1×

intervals

Results

263.0ms	8000×	body	128	valid
70.0ms	2053×	body	128	invalid

Compiler

Compiled 748 to 550 computations (26.5% saved)

Pareto

0.9583448451633115

Details

analyze632.0ms (7.7%)

sample21.0ms (0.3%)

simplify155.0ms (1.9%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite23.0ms (0.3%)

series583.0ms (7.1%)

simplify57.0ms (0.7%)

prune92.0ms (1.1%)

localize7.0ms (0.1%)

rewrite41.0ms (0.5%)

series489.0ms (6%)

simplify72.0ms (0.9%)

prune121.0ms (1.5%)

localize7.0ms (0.1%)

rewrite19.0ms (0.2%)

series476.0ms (5.8%)

simplify76.0ms (0.9%)

prune52.0ms (0.6%)

localize15.0ms (0.2%)

rewrite86.0ms (1.1%)

series857.0ms (10.5%)

simplify117.0ms (1.4%)

prune213.0ms (2.6%)

simplify55.0ms (0.7%)

regimes197.0ms (2.4%)

bsearch0.0ms (0%)

regimes281.0ms (3.4%)

bsearch45.0ms (0.6%)

regimes111.0ms (1.4%)

bsearch35.0ms (0.4%)

regimes123.0ms (1.5%)

bsearch39.0ms (0.5%)

regimes105.0ms (1.3%)

bsearch40.0ms (0.5%)

regimes351.0ms (4.3%)

bsearch41.0ms (0.5%)

regimes152.0ms (1.9%)

bsearch39.0ms (0.5%)

regimes168.0ms (2.1%)

bsearch32.0ms (0.4%)

regimes156.0ms (1.9%)

bsearch38.0ms (0.5%)

regimes161.0ms (2%)

bsearch72.0ms (0.9%)

regimes147.0ms (1.8%)

bsearch71.0ms (0.9%)

regimes38.0ms (0.5%)

bsearch0.0ms (0%)

regimes35.0ms (0.4%)

bsearch0.0ms (0%)

regimes34.0ms (0.4%)

bsearch14.0ms (0.2%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample1.4s (16.8%)

Profiling