Details

analyze691.0ms (16.9%)

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
6.2%	93.6%	0.2%	9
6.2%	82.7%	11.1%	10
12.5%	73.7%	13.8%	11
15.6%	59.5%	25%	12
17.9%	53.3%	28.8%	13
22.4%	47.2%	30.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample27.0ms (0.7%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	110×	body	128	invalid

Compiler

Compiled 27 to 27 computations (0% saved)

simplify140.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	704	19
1	704	19

prune2.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: 4.8b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (*.f64 z z) t)
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
4.6b	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cancel-sign-sub-inv_binary64_16412`
11×	`add-sqr-sqrt_binary64_16468`
9×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
8×	`add-exp-log_binary64_16484` `pow1_binary64_16507` `distribute-rgt-in_binary64_16396` `associate--r+_binary64_16382` `distribute-lft-in_binary64_16395` `add-cbrt-cube_binary64_16482`
7×	`add-log-exp_binary64_16485`
6×	`sub-neg_binary64_16439`
4×	`associate-r_binary64_16386`
3×	`pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `prod-exp_binary64_16495` `flip3--_binary64_16450` `flip--_binary64_16421`
2×	`associate-*r/_binary64_16388` `diff-log_binary64_16538` `difference-of-squares_binary64_16415`
1×	`-commutative_binary64_16377` `associate-l*_binary64_16387`

Counts

3 → 64

Calls

3 calls:

10.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
5.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
5.0ms	(-.f64 (*.f64 z z) t)

series138.0ms (3.4%)

Counts

3 → 9

Calls

3 calls:

69.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
51.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
18.0ms	(-.f64 (*.f64 z z) t)

simplify69.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4904	1145
1	4904	1145

prune73.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	64	9	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	9	74

Merged error: 3.2b

Counts

74 → 9

Compiler

Compiled 1524 to 663 computations (56.5% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
0.0b	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
8.3b	(.f64 (.f64 y 4) (*.f64 z z))

rewrite33.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-exp-log_binary64_16484` `pow1_binary64_16507` `add-cbrt-cube_binary64_16482`
10×	`add-log-exp_binary64_16485`
8×	`pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `prod-exp_binary64_16495`
5×	`add-sqr-sqrt_binary64_16468`
4×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
3×	`cancel-sign-sub-inv_binary64_16412`
2×	`diff-log_binary64_16538` `sum-log_binary64_16537`
1×	`+-commutative_binary64_16376` `-commutative_binary64_16377` `flip3-+_binary64_16449` `associate--r+_binary64_16382` `flip-+_binary64_16420` `sub-neg_binary64_16439` `flip3--_binary64_16450` `associate-r_binary64_16386` `associate-l*_binary64_16387` `flip--_binary64_16421` `difference-of-squares_binary64_16415`

Counts

3 → 50

Calls

3 calls:

11.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
10.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
8.0ms	(.f64 (.f64 y 4) (*.f64 z z))

series157.0ms (3.8%)

Counts

3 → 9

Calls

3 calls:

70.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
61.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
26.0ms	(.f64 (.f64 y 4) (*.f64 z z))

simplify80.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5827	1003

prune62.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	61	7	68

Merged error: 0.0b

Counts

68 → 7

Compiler

Compiled 1312 to 660 computations (49.7% saved)

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
0.0b	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
0.2b	(.f64 (.f64 (*.f64 y 4) z) z)

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-exp-log_binary64_16484` `pow1_binary64_16507` `add-cbrt-cube_binary64_16482`
10×	`add-log-exp_binary64_16485`
6×	`pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479` `prod-exp_binary64_16495` `add-sqr-sqrt_binary64_16468`
5×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
3×	`cancel-sign-sub-inv_binary64_16412` `associate-r_binary64_16386`
2×	`diff-log_binary64_16538` `sum-log_binary64_16537`
1×	`+-commutative_binary64_16376` `-commutative_binary64_16377` `flip3-+_binary64_16449` `associate--r+_binary64_16382` `flip-+_binary64_16420` `sub-neg_binary64_16439` `flip3--_binary64_16450` `associate-l*_binary64_16387` `flip--_binary64_16421` `difference-of-squares_binary64_16415`

Counts

3 → 49

Calls

3 calls:

10.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
8.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
7.0ms	(.f64 (.f64 (*.f64 y 4) z) z)

series156.0ms (3.8%)

Counts

3 → 9

Calls

3 calls:

67.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
61.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
27.0ms	(.f64 (.f64 (*.f64 y 4) z) z)

simplify73.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5741	1004

prune55.0ms (1.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	58	7	65

Merged error: 0.0b

Counts

65 → 7

Compiler

Compiled 1289 to 669 computations (48.1% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 z (.f64 (.f64 y 4) z))) (cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z))))
17.0b	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
17.0b	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
17.0b	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))

rewrite29.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_16507`
10×	`add-sqr-sqrt_binary64_16468`
9×	`pow1/3_binary64_16528`
8×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
7×	`cbrt-prod_binary64_16477`
6×	`add-exp-log_binary64_16484`
4×	`add-log-exp_binary64_16485` `swap-sqr_binary64_16413` `add-cbrt-cube_binary64_16482` `associate-r_binary64_16386` `associate-l_binary64_16387`
2×	`pow-sqr_binary64_16419` `pow-prod-down_binary64_16517` `pow-prod-up_binary64_16516`
1×	`pow-plus_binary64_16509` `unswap-sqr_binary64_16414` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377` `prod-exp_binary64_16495` `pow2_binary64_16527`

Counts

4 → 58

Calls

4 calls:

8.0ms	(.f64 (cbrt.f64 (.f64 z (.f64 (.f64 y 4) z))) (cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z))))
5.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
5.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
5.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))

series383.0ms (9.4%)

Counts

4 → 12

Calls

4 calls:

115.0ms	(.f64 (cbrt.f64 (.f64 z (.f64 (.f64 y 4) z))) (cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z))))
91.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
89.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))
88.0ms	(cbrt.f64 (.f64 z (.f64 (*.f64 y 4) z)))

simplify70.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4892	954
1	4892	954

prune106.0ms (2.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	70	7	77

Merged error: 0.0b

Counts

77 → 7

Compiler

Compiled 2580 to 1642 computations (36.4% saved)

regimes458.0ms (11.2%)

Compiler: Compiled 5430 to 4016 computations (26% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	115	25
1	115	25

end0.0ms (0%)

sample1.2s (28.8%)

Algorithm

1×

intervals

Results

343.0ms	8000×	body	128	valid
123.0ms	2977×	body	128	invalid

Compiler

Compiled 489 to 365 computations (25.4% saved)

Details

analyze691.0ms (16.9%)

sample27.0ms (0.7%)

simplify140.0ms (3.4%)

prune2.0ms (0.1%)

localize9.0ms (0.2%)

rewrite24.0ms (0.6%)

series138.0ms (3.4%)

simplify69.0ms (1.7%)

prune73.0ms (1.8%)

localize12.0ms (0.3%)

rewrite33.0ms (0.8%)

series157.0ms (3.8%)

simplify80.0ms (1.9%)

prune62.0ms (1.5%)

localize13.0ms (0.3%)

rewrite30.0ms (0.7%)

series156.0ms (3.8%)

simplify73.0ms (1.8%)

prune55.0ms (1.3%)

localize18.0ms (0.4%)

rewrite29.0ms (0.7%)

series383.0ms (9.4%)

simplify70.0ms (1.7%)

prune106.0ms (2.6%)

regimes458.0ms (11.2%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (28.8%)

Profiling