Details

analyze1.8s (23.2%)

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)

sample57.0ms (0.7%)

Algorithm

1×

intervals

Results

15.0ms	278×	body	128	invalid
14.0ms	256×	body	128	valid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify565.0ms (7.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (466.0ms)

Iter	Nodes	Cost
0	3126	28
1	3126	28

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

5.6b

Counts

2 → 1

Compiler

Compiled 38 to 36 computations (5.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_17164` `add-exp-log_binary64_17166` `pow1_binary64_17189`
9×	`add-sqr-sqrt_binary64_17150`
8×	`add-log-exp_binary64_17167`
7×	`add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128`
6×	`associate-r_binary64_17068` `associate-*l/_binary64_17071`
4×	`cbrt-unprod_binary64_17161` `flip-+_binary64_17102` `prod-exp_binary64_17177` `pow-prod-down_binary64_17199` `associate-l_binary64_17069` `flip3-+_binary64_17131`
2×	`+-commutative_binary64_17058` `*-commutative_binary64_17059` `sum-log_binary64_17219`
1×	`unswap-sqr_binary64_17096`

Counts

4 → 62

Calls

4 calls:

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

series191.0ms (2.5%)

Counts

4 → 12

Calls

4 calls:

82.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
48.0ms	(.f64 (+.f64 a (.f64 b c)) c)
38.0ms	(+.f64 (.f64 x y) (.f64 z t))
23.0ms	(+.f64 a (*.f64 b c))

simplify73.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4962	978
1	4962	978

prune86.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	67	7	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	7	75

Error

0.3b

Counts

75 → 7

Compiler

Compiled 1934 to 563 computations (70.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite28.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_17167`
9×	`add-cbrt-cube_binary64_17164` `add-exp-log_binary64_17166` `pow1_binary64_17189`
7×	`flip-+_binary64_17102` `flip3-+_binary64_17131`
6×	`associate-*l/_binary64_17071`
5×	`add-cube-cbrt_binary64_17163` `add-sqr-sqrt_binary64_17150` `*-un-lft-identity_binary64_17128`
4×	`frac-sub_binary64_17137`
3×	`cbrt-unprod_binary64_17161` `prod-exp_binary64_17177` `sum-log_binary64_17219` `pow-prod-down_binary64_17199` `associate-l_binary64_17069`
2×	`diff-log_binary64_17220` `+-commutative_binary64_17058`
1×	`associate-r_binary64_17068` `flip--_binary64_17103` `sub-neg_binary64_17121` `*-commutative_binary64_17059` `flip3--_binary64_17132` `associate--l+_binary64_17065` `cancel-sign-sub-inv_binary64_17094`

Counts

4 → 60

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
7.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
3.0ms	(+.f64 a (*.f64 b c))

series761.0ms (9.8%)

Counts

4 → 12

Calls

4 calls:

629.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
73.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
35.0ms	(+.f64 (.f64 x y) (.f64 z t))
23.0ms	(+.f64 a (*.f64 b c))

simplify43.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5834	1649

prune77.0ms (1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	70	9	79

Error

0.3b

Counts

79 → 9

Compiler

Compiled 2185 to 562 computations (74.3% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(cbrt.f64 (+.f64 a (*.f64 b c)))
0.8b	(cbrt.f64 (+.f64 a (*.f64 b c)))
2.5b	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))
2.9b	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))

rewrite53.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_17160`
30×	`flip-+_binary64_17102` `add-exp-log_binary64_17166` `pow1_binary64_17189` `flip3-+_binary64_17131`
28×	`associate-*r/_binary64_17070` `frac-times_binary64_17138`
18×	`cbrt-unprod_binary64_17161` `add-cbrt-cube_binary64_17164` `prod-exp_binary64_17177` `pow-prod-down_binary64_17199`
14×	`associate-*l/_binary64_17071`
9×	`cbrt-prod_binary64_17159`
8×	`add-cube-cbrt_binary64_17163` `add-sqr-sqrt_binary64_17150` `*-un-lft-identity_binary64_17128`
7×	`associate-r_binary64_17068`
4×	`add-log-exp_binary64_17167`
2×	`pow1/3_binary64_17210` `-commutative_binary64_17059` `associate-l*_binary64_17069`

Counts

4 → 103

Calls

4 calls:

23.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))
8.0ms	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))
3.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))
3.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))

series443.0ms (5.7%)

Counts

4 → 12

Calls

4 calls:

160.0ms	(.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c))))
103.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))
102.0ms	(cbrt.f64 (+.f64 a (*.f64 b c)))
78.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 a (.f64 b c))) (cbrt.f64 (+.f64 a (.f64 b c)))) (.f64 (.f64 c i) (cbrt.f64 (+.f64 a (*.f64 b c)))))

simplify131.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4939	3127
1	4939	3127

prune146.0ms (1.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	115	9	124

Error

0.3b

Counts

124 → 9

Compiler

Compiled 4832 to 1168 computations (75.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite20.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 43

Calls

3 calls:

7.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a (.f64 c i)))
5.0ms	(.f64 a (.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))

series195.0ms (2.5%)

Counts

3 → 9

Calls

3 calls:

129.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a (.f64 c i)))
37.0ms	(+.f64 (.f64 x y) (.f64 z t))
29.0ms	(.f64 a (.f64 c i))

simplify61.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	6175	795

prune43.0ms (0.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	52	9	61

Error

0.3b

Counts

61 → 9

Compiler

Compiled 1031 to 252 computations (75.6% saved)

regimes805.0ms (10.4%)

Accuracy

Total 1.0b remaining (51.7%)

Threshold costs 1.0b (51.7%)

Compiler

Compiled 9699 to 8267 computations (14.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	95	28
1	95	28

end0.0ms (0%)

sample2.1s (27%)

Algorithm

1×

intervals

Results

486.0ms	8000×	body	128	valid
405.0ms	7039×	body	128	invalid

Compiler

Compiled 675 to 572 computations (15.3% saved)

Details

analyze1.8s (23.2%)

sample57.0ms (0.7%)

simplify565.0ms (7.3%)

prune3.0ms (0%)

localize14.0ms (0.2%)

rewrite26.0ms (0.3%)

series191.0ms (2.5%)

simplify73.0ms (0.9%)

prune86.0ms (1.1%)

localize14.0ms (0.2%)

rewrite28.0ms (0.4%)

series761.0ms (9.8%)

simplify43.0ms (0.6%)

prune77.0ms (1%)

localize18.0ms (0.2%)

rewrite53.0ms (0.7%)

series443.0ms (5.7%)

simplify131.0ms (1.7%)

prune146.0ms (1.9%)

localize11.0ms (0.1%)

rewrite20.0ms (0.3%)

series195.0ms (2.5%)

simplify61.0ms (0.8%)

prune43.0ms (0.5%)

regimes805.0ms (10.4%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.1s (27%)

Profiling