Details

analyze3.2s (14.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 20 to 19 computations (5% saved)

sample115.0ms (0.5%)

Algorithm

1×

intervals

Results

32.0ms	231×	body	128	invalid
27.0ms	256×	body	128	valid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify1.0s (4.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (862.0ms)

Iter	Nodes	Cost
0	3126	28
1	3126	28

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

6.3b

Counts

2 → 1

Compiler

Compiled 38 to 36 computations (5.3% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 a (*.f64 b c))
0.1b	(.f64 (+.f64 a (.f64 b c)) c)
7.8b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite182.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

11×	`pow1_binary64_18894` `add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
9×	`add-sqr-sqrt_binary64_18855`
8×	`add-log-exp_binary64_18872`
7×	`add-cube-cbrt_binary64_18868` `*-un-lft-identity_binary64_18833`
6×	`associate-l/_binary64_18776` `associate-r*_binary64_18773`
4×	`pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `flip3-+_binary64_18836` `flip-+_binary64_18807` `associate-l_binary64_18774`
2×	`*-commutative_binary64_18764` `sum-log_binary64_18924` `+-commutative_binary64_18763`
1×	`unswap-sqr_binary64_18801`

Counts

4 → 62

Calls

4 calls:

14.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
12.0ms	(.f64 (+.f64 a (.f64 b c)) c)
8.0ms	(+.f64 (.f64 x y) (.f64 z t))
6.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 1684 to 420 computations (75.1% saved)

series1.2s (5.3%)

Error

0.8b

Counts

4 → 81

Calls

4 calls:

409.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
242.0ms	(+.f64 (.f64 x y) (.f64 z t))
232.0ms	(.f64 (+.f64 a (.f64 b c)) c)
147.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 3792 to 2613 computations (31.1% saved)

simplify155.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4977	1524
1	4977	1524

prune238.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	136	7	143
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	136	8	144

Error

0.7b

Counts

144 → 8

Compiler

Compiled 3141 to 716 computations (77.2% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 a (*.f64 b c))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 i c)))
5.2b	(.f64 (+.f64 a (.f64 b c)) (*.f64 i c))

rewrite168.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

13×	`add-log-exp_binary64_18872`
9×	`pow1_binary64_18894` `add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
7×	`flip3-+_binary64_18836` `flip-+_binary64_18807`
6×	`associate-*l/_binary64_18776`
5×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `*-un-lft-identity_binary64_18833`
4×	`frac-sub_binary64_18842`
3×	`pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `associate-l_binary64_18774` `sum-log_binary64_18924`
2×	`diff-log_binary64_18925` `+-commutative_binary64_18763`
1×	`associate-r_binary64_18773` `*-commutative_binary64_18764` `flip3--_binary64_18837` `sub-neg_binary64_18826` `flip--_binary64_18808` `cancel-sign-sub-inv_binary64_18799` `associate--l+_binary64_18770`

Counts

4 → 60

Calls

4 calls:

17.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 i c)))
13.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 i c))
8.0ms	(+.f64 (.f64 x y) (.f64 z t))
5.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 1973 to 397 computations (79.9% saved)

series2.5s (11.6%)

Error

0.7b

Counts

4 → 114

Calls

4 calls:

1.5s	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 i c)))
401.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 i c))
284.0ms	(+.f64 (.f64 x y) (.f64 z t))
151.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 5201 to 3720 computations (28.5% saved)

simplify111.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5884	2950

prune259.0ms (1.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	173	9	182

Error

0.7b

Counts

182 → 9

Compiler

Compiled 3766 to 756 computations (79.9% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.8b	(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
10.8b	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
10.8b	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
10.8b	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))

rewrite180.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

16×	`associate-*r/_binary64_18775`
9×	`pow1_binary64_18894` `add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
6×	`cbrt-div_binary64_18865`
5×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `*-un-lft-identity_binary64_18833`
4×	`add-log-exp_binary64_18872` `flip3-+_binary64_18836` `flip-+_binary64_18807` `distribute-rgt-in_binary64_18783` `distribute-lft-in_binary64_18782`
3×	`pow1/3_binary64_18915` `cbrt-prod_binary64_18864` `pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `associate-l_binary64_18774`
1×	`associate-r_binary64_18773` `*-commutative_binary64_18764`

Counts

4 → 57

Calls

4 calls:

13.0ms	(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
11.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
11.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
10.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))

Compiler

Compiled 2895 to 435 computations (85% saved)

series2.6s (12.1%)

Error

0.7b

Counts

4 → 72

Calls

4 calls:

701.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
654.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
647.0ms	(cbrt.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
445.0ms	(.f64 c (.f64 i (+.f64 a (*.f64 b c))))

Compiler

Compiled 10376 to 5649 computations (45.6% saved)

simplify123.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5061	2416

prune273.0ms (1.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	129	9	138

Error

0.7b

Counts

138 → 9

Compiler

Compiled 6104 to 989 computations (83.8% saved)

localize23.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a (.f64 i c)))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
3.5b	(.f64 a (.f64 i c))

rewrite105.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

10×	`add-log-exp_binary64_18872`
8×	`pow1_binary64_18894` `add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
4×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `*-un-lft-identity_binary64_18833`
3×	`pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `associate-l_binary64_18774`
2×	`sum-log_binary64_18924` `diff-log_binary64_18925`
1×	`associate-r_binary64_18773` `*-commutative_binary64_18764` `flip3-+_binary64_18836` `flip-+_binary64_18807` `+-commutative_binary64_18763` `flip3--_binary64_18837` `sub-neg_binary64_18826` `flip--_binary64_18808` `cancel-sign-sub-inv_binary64_18799` `associate--l+_binary64_18770`

Counts

3 → 43

Calls

3 calls:

14.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a (.f64 i c)))
9.0ms	(.f64 a (.f64 i c))
7.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1007 to 257 computations (74.5% saved)

series1.3s (6%)

Error

0.7b

Counts

3 → 75

Calls

3 calls:

807.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a (.f64 i c)))
262.0ms	(+.f64 (.f64 x y) (.f64 z t))
154.0ms	(.f64 a (.f64 i c))

Compiler

Compiled 2484 to 1960 computations (21.1% saved)

simplify117.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5911	1518

prune143.0ms (0.7%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	118	9	127

Error

0.7b

Counts

127 → 9

Compiler

Compiled 1839 to 383 computations (79.2% saved)

regimes2.4s (11%)

Accuracy

Total 1.0b remaining (52%)

Threshold costs 0b (0%)

Compiler

Compiled 15427 to 13682 computations (11.3% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	95	28
1	95	28

end0.0ms (0%)

sample5.2s (23.9%)

Algorithm

1×

intervals

Results

1.3s	8000×	body	128	valid
797.0ms	7172×	body	128	invalid

Compiler

Compiled 1046 to 928 computations (11.3% saved)

Details

analyze3.2s (14.8%)

sample115.0ms (0.5%)

simplify1.0s (4.7%)

prune6.0ms (0%)

localize37.0ms (0.2%)

rewrite182.0ms (0.8%)

series1.2s (5.3%)

simplify155.0ms (0.7%)

prune238.0ms (1.1%)

localize30.0ms (0.1%)

rewrite168.0ms (0.8%)

series2.5s (11.6%)

simplify111.0ms (0.5%)

prune259.0ms (1.2%)

localize41.0ms (0.2%)

rewrite180.0ms (0.8%)

series2.6s (12.1%)

simplify123.0ms (0.6%)

prune273.0ms (1.2%)

localize23.0ms (0.1%)

rewrite105.0ms (0.5%)

series1.3s (6%)

simplify117.0ms (0.5%)

prune143.0ms (0.7%)

regimes2.4s (11%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.2s (23.9%)

Profiling