Details

analyze703.0ms (11.8%)

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.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 27 to 27 computations (0% saved)

simplify140.0ms (2.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%)

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: 5.3b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite19.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cancel-sign-sub-inv_binary64_17094`
8×	`distribute-rgt-in_binary64_17078` `add-sqr-sqrt_binary64_17150` `associate--r+_binary64_17064` `distribute-lft-in_binary64_17077`
7×	`add-cube-cbrt_binary64_17163` `add-cbrt-cube_binary64_17164` `add-exp-log_binary64_17166` `pow1_binary64_17189` `*-un-lft-identity_binary64_17128`
5×	`sub-neg_binary64_17121`
4×	`associate-r_binary64_17068` `add-log-exp_binary64_17167`
3×	`cbrt-unprod_binary64_17161` `prod-exp_binary64_17177` `pow-prod-down_binary64_17199`
2×	`associate-*r/_binary64_17070` `flip--_binary64_17103` `flip3--_binary64_17132`
1×	`difference-of-squares_binary64_17097` `diff-log_binary64_17220` `-commutative_binary64_17059` `associate-l*_binary64_17069`

Counts

2 → 49

Calls

2 calls:

9.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)))

series550.0ms (9.2%)

Counts

2 → 39

Calls

2 calls:

375.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
175.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

Compiler

Compiled 854 to 821 computations (3.9% saved)

simplify94.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4904	1450
1	4904	1450

prune77.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Merged error: 2.0b

Counts

89 → 6

Compiler

Compiled 1497 to 608 computations (59.4% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite42.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cbrt-cube_binary64_17164` `add-exp-log_binary64_17166` `pow1_binary64_17189`
11×	`cbrt-unprod_binary64_17161` `prod-exp_binary64_17177` `add-log-exp_binary64_17167` `pow-prod-down_binary64_17199`
7×	`add-sqr-sqrt_binary64_17150`
6×	`add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128`
4×	`associate-l_binary64_17069`
3×	`cancel-sign-sub-inv_binary64_17094`
2×	`associate-r_binary64_17068` `diff-log_binary64_17220` `*-commutative_binary64_17059` `sum-log_binary64_17219`
1×	`difference-of-squares_binary64_17097` `flip-+_binary64_17102` `flip--_binary64_17103` `+-commutative_binary64_17058` `sub-neg_binary64_17121` `flip3--_binary64_17132` `associate--r+_binary64_17064` `flip3-+_binary64_17131`

Counts

4 → 68

Calls

4 calls:

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

series731.0ms (12.3%)

Counts

4 → 51

Calls

4 calls:

366.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
224.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
79.0ms	(.f64 (.f64 y 4) (*.f64 z z))
61.0ms	(.f64 y (.f64 t -4))

Compiler

Compiled 1270 to 1177 computations (7.3% saved)

simplify66.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5121	1715

prune98.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	120	5	125

Merged error: 0.0b

Counts

125 → 5

Compiler

Compiled 2130 to 945 computations (55.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64_17164` `add-exp-log_binary64_17166` `pow1_binary64_17189`
11×	`add-log-exp_binary64_17167`
9×	`cbrt-unprod_binary64_17161` `prod-exp_binary64_17177` `pow-prod-down_binary64_17199`
8×	`add-sqr-sqrt_binary64_17150`
7×	`add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128`
4×	`associate-r_binary64_17068` `associate-l_binary64_17069`
3×	`cancel-sign-sub-inv_binary64_17094`
2×	`diff-log_binary64_17220` `*-commutative_binary64_17059` `sum-log_binary64_17219`
1×	`difference-of-squares_binary64_17097` `flip-+_binary64_17102` `flip--_binary64_17103` `+-commutative_binary64_17058` `sub-neg_binary64_17121` `flip3--_binary64_17132` `associate--r+_binary64_17064` `flip3-+_binary64_17131`

Counts

4 → 67

Calls

4 calls:

9.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)
5.0ms	(.f64 y (.f64 t -4))

series726.0ms (12.2%)

Counts

4 → 51

Calls

4 calls:

370.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
221.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
79.0ms	(.f64 (.f64 (*.f64 y 4) z) z)
54.0ms	(.f64 y (.f64 t -4))

Compiler

Compiled 1270 to 1177 computations (7.3% saved)

simplify66.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5002	1716

prune100.0ms (1.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	115	8	123

Merged error: 0.0b

Counts

123 → 8

Compiler

Compiled 2187 to 1021 computations (53.3% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_17159`
23×	`add-sqr-sqrt_binary64_17150`
15×	`add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128`
11×	`pow1_binary64_17189`
9×	`pow1/3_binary64_17210`
6×	`associate-r_binary64_17068` `add-exp-log_binary64_17166` `swap-sqr_binary64_17095` `associate-l_binary64_17069`
4×	`add-cbrt-cube_binary64_17164` `add-log-exp_binary64_17167` `unswap-sqr_binary64_17096`
2×	`pow-sqr_binary64_17101` `pow-prod-down_binary64_17199` `pow-prod-up_binary64_17198`
1×	`cbrt-unprod_binary64_17161` `prod-exp_binary64_17177` `*-commutative_binary64_17059` `pow2_binary64_17209` `pow-plus_binary64_17191`

Counts

4 → 73

Calls

4 calls:

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

series388.0ms (6.5%)

Counts

4 → 12

Calls

4 calls:

112.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
95.0ms	(cbrt.f64 z)
91.0ms	(cbrt.f64 z)
89.0ms	(cbrt.f64 z)

Compiler

Compiled 654 to 522 computations (20.2% saved)

simplify80.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5008	570

prune93.0ms (1.6%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	83	10	93

Merged error: 0.0b

Counts

93 → 10

Compiler

Compiled 2268 to 1088 computations (52% saved)

regimes611.0ms (10.3%)

Compiler: Compiled 5991 to 4716 computations (21.3% 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 (20.9%)

Algorithm

1×

intervals

Results

326.0ms	8000×	body	128	valid
123.0ms	2981×	body	128	invalid

Compiler

Compiled 550 to 434 computations (21.1% saved)

Details

analyze703.0ms (11.8%)

sample27.0ms (0.5%)

simplify140.0ms (2.4%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite19.0ms (0.3%)

series550.0ms (9.2%)

simplify94.0ms (1.6%)

prune77.0ms (1.3%)

localize12.0ms (0.2%)

rewrite42.0ms (0.7%)

series731.0ms (12.3%)

simplify66.0ms (1.1%)

prune98.0ms (1.6%)

localize11.0ms (0.2%)

rewrite36.0ms (0.6%)

series726.0ms (12.2%)

simplify66.0ms (1.1%)

prune100.0ms (1.7%)

localize15.0ms (0.3%)

rewrite17.0ms (0.3%)

series388.0ms (6.5%)

simplify80.0ms (1.3%)

prune93.0ms (1.6%)

regimes611.0ms (10.3%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (20.9%)

Profiling