Details

analyze2.8s (21.8%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5034	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14
2.5%	97.2%	0.3%	14

Compiler

Compiled 44 to 40 computations (9.1% saved)

sample1.7s (13.4%)

Algorithm

2×

intervals

Results

30.0ms	512×	body	128	valid
19.0ms	266×	body	128	invalid

Compiler

Compiled 8557 to 10107 computations (-18.1% saved)

simplify110.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4954	31
1	4954	31

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

0.0b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 t 1) a)
0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
0.0b	(*.f64 (-.f64 (+.f64 y t) 2) b)

rewrite187.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-sqr-sqrt_binary64_441`
21×	`*-un-lft-identity_binary64_419`
20×	`associate-l_binary64_360`
10×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `add-cube-cbrt_binary64_454` `associate-*l/_binary64_362`
9×	`add-log-exp_binary64_458` `associate-r_binary64_359`
8×	`flip3--_binary64_423` `flip--_binary64_394`
5×	`difference-of-squares_binary64_388`
4×	`distribute-lft-out--_binary64_371` `frac-sub_binary64_428`
3×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `*-commutative_binary64_350` `diff-log_binary64_511`
2×	`sub-neg_binary64_412` `cancel-sign-sub-inv_binary64_385` `associate--l+_binary64_356` `difference-of-sqr-1_binary64_389`
1×	`distribute-lft-out_binary64_370` `associate--l-_binary64_357`

Counts

4 → 91

Calls

4 calls:

9.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
7.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
7.0ms	(*.f64 (-.f64 y 1) z)
7.0ms	(*.f64 (-.f64 t 1) a)

Compiler

Compiled 2786 to 1690 computations (39.3% saved)

series830.0ms (6.4%)

Error

0.0b

Counts

4 → 63

Calls

4 calls:

393.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
174.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
103.0ms	(*.f64 (-.f64 t 1) a)
88.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 3198 to 2260 computations (29.3% saved)

simplify62.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5074	2108

prune203.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	150	4	154
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	150	5	155

Error

Counts

155 → 5

Compiler

Compiled 3863 to 1842 computations (52.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 b) (cbrt.f64 b))
0.6b	(cbrt.f64 b)
0.6b	(cbrt.f64 b)
0.6b	(cbrt.f64 b)

rewrite134.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_450`
23×	`add-sqr-sqrt_binary64_441`
15×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
11×	`pow1_binary64_480`
9×	`pow1/3_binary64_501`
6×	`add-exp-log_binary64_457` `swap-sqr_binary64_386` `associate-l_binary64_360` `associate-r_binary64_359`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `unswap-sqr_binary64_387`
2×	`pow-prod-down_binary64_490` `pow-prod-up_binary64_489` `pow-sqr_binary64_392`
1×	`pow2_binary64_500` `pow-plus_binary64_482` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 b) (cbrt.f64 b))
1.0ms	(cbrt.f64 b)
1.0ms	(cbrt.f64 b)
1.0ms	(cbrt.f64 b)

Compiler

Compiled 2400 to 1186 computations (50.6% saved)

series522.0ms (4%)

Error

Counts

4 → 12

Calls

4 calls:

143.0ms	(*.f64 (cbrt.f64 b) (cbrt.f64 b))
125.0ms	(cbrt.f64 b)
120.0ms	(cbrt.f64 b)
115.0ms	(cbrt.f64 b)

Compiler

Compiled 1095 to 854 computations (22% saved)

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune129.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Error

Counts

90 → 5

Compiler

Compiled 2663 to 1469 computations (44.8% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite116.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-log-exp_binary64_458`
10×	`*-un-lft-identity_binary64_419` `sum-log_binary64_510`
9×	`add-sqr-sqrt_binary64_441`
6×	`flip3--_binary64_423` `associate-l/_binary64_362` `flip--_binary64_394` `associate-l*_binary64_360` `diff-log_binary64_511`
5×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `add-cube-cbrt_binary64_454`
4×	`frac-add_binary64_427`
3×	`associate-r_binary64_359` `associate-+l+_binary64_352`
2×	`distribute-lft-out--_binary64_371` `sub-neg_binary64_412` `cancel-sign-sub-inv_binary64_385` `associate--l+_binary64_356`
1×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `difference-of-squares_binary64_388` `distribute-lft-out_binary64_370` `*-commutative_binary64_350` `flip3-+_binary64_422` `flip-+_binary64_393` `associate-+l-_binary64_354` `+-commutative_binary64_349`

Counts

3 → 60

Calls

3 calls:

14.0ms	(+.f64 (-.f64 (+.f64 a (+.f64 z x)) (.f64 t a)) (.f64 (-.f64 (+.f64 y t) 2) b))
9.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
9.0ms	(-.f64 (+.f64 a (+.f64 z x)) (*.f64 t a))

Compiler

Compiled 1848 to 560 computations (69.7% saved)

series1.1s (8.6%)

Error

Counts

3 → 75

Calls

3 calls:

674.0ms	(+.f64 (-.f64 (+.f64 a (+.f64 z x)) (.f64 t a)) (.f64 (-.f64 (+.f64 y t) 2) b))
224.0ms	(-.f64 (+.f64 a (+.f64 z x)) (*.f64 t a))
157.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)

Compiler

Compiled 3013 to 1983 computations (34.2% saved)

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4952	2546
1	4952	2546

prune136.0ms (1.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	135	5	140

Error

Counts

140 → 5

Compiler

Compiled 2713 to 870 computations (67.9% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
0.1b	(.f64 (sqrt.f64 (-.f64 (+.f64 y t) 2)) (.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2)))))
0.1b	(*.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2))))

rewrite270.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`*-un-lft-identity_binary64_419`
23×	`add-sqr-sqrt_binary64_441`
19×	`associate-l_binary64_360`
14×	`sqrt-div_binary64_436`
13×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
12×	`sqrt-prod_binary64_435` `associate-r_binary64_359`
11×	`add-cube-cbrt_binary64_454`
10×	`associate-*r/_binary64_361`
9×	`add-log-exp_binary64_458` `flip3--_binary64_423` `flip--_binary64_394`
8×	`associate-*l/_binary64_362`
5×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
4×	`flip3-+_binary64_422` `flip-+_binary64_393` `distribute-lft-out--_binary64_371` `frac-times_binary64_429` `frac-sub_binary64_428`
3×	`unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `*-commutative_binary64_350` `difference-of-squares_binary64_388` `diff-log_binary64_511`
2×	`sub-neg_binary64_412` `cancel-sign-sub-inv_binary64_385` `associate--l+_binary64_356`
1×	`associate--l-_binary64_357` `difference-of-sqr-1_binary64_389`

Counts

4 → 102

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (-.f64 (+.f64 y t) 2)) (.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2)))))
12.0ms	(*.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2))))
8.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
7.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 4189 to 2675 computations (36.1% saved)

series893.0ms (6.9%)

Error

Counts

4 → 63

Calls

4 calls:

389.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
171.0ms	(.f64 (sqrt.f64 (-.f64 (+.f64 y t) 2)) (.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2)))))
170.0ms	(*.f64 b (sqrt.f64 (+.f64 t (-.f64 y 2))))
91.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 4382 to 3163 computations (27.8% saved)

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5061	2724

prune277.0ms (2.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	165	5	170

Error

Counts

170 → 5

Compiler

Compiled 5298 to 2853 computations (46.1% saved)

regimes964.0ms (7.4%)

Accuracy

Total 0.0b remaining (56.7%)

Threshold costs 0.0b (56.7%)

Compiler

Compiled 7313 to 6802 computations (7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	174	37
1	174	37

end0.0ms (0%)

sample2.2s (16.7%)

Algorithm

1×

intervals

Results

442.0ms	7994×	body	128	valid
266.0ms	4573×	body	128	invalid
0.0ms	2×	body	1024	valid
0.0ms	3×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1084 to 1003 computations (7.5% saved)

Details

analyze2.8s (21.8%)

sample1.7s (13.4%)

simplify110.0ms (0.8%)

prune5.0ms (0%)

localize21.0ms (0.2%)

rewrite187.0ms (1.4%)

series830.0ms (6.4%)

simplify62.0ms (0.5%)

prune203.0ms (1.6%)

localize19.0ms (0.1%)

rewrite134.0ms (1%)

series522.0ms (4%)

simplify75.0ms (0.6%)

prune129.0ms (1%)

localize13.0ms (0.1%)

rewrite116.0ms (0.9%)

series1.1s (8.6%)

simplify69.0ms (0.5%)

prune136.0ms (1.1%)

localize21.0ms (0.2%)

rewrite270.0ms (2.1%)

series893.0ms (6.9%)

simplify75.0ms (0.6%)

prune277.0ms (2.1%)

regimes964.0ms (7.4%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.2s (16.7%)

Profiling