Details

Time bar (total: 8.9s)

analyze777.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%74.9%25.1%8
0%74.9%25.1%9
9.4%65.5%25.1%10
9.4%53%37.6%11
14%48.4%37.6%12
16.4%46%37.6%13
16.4%39.8%43.8%14

sample64.0ms

Algorithm
intervals
Results
12.0ms168×body80valid
11.0ms34×body1280valid
8.0ms25×body1280nan
8.0ms29×body640valid
5.0ms18×body640nan
3.0ms48×body80nan
2.0ms13×body320valid
2.0ms11×body320nan
2.0ms12×body160valid
1.0ms4×body160nan

simplify382.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
0515641

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 41.8b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
0.4b
(*.f64 (sqrt.f64 2) t)
14.0b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
20.1b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

rewrite254.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_645
13×sqrt-prod_binary64_639
12×add-cube-cbrt_binary64_631 *-un-lft-identity_binary64_660
11×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
7×pow1_binary64_602
6×times-frac_binary64_655 add-log-exp_binary64_625 associate-*l*_binary64_720 associate-/r*_binary64_723
4×sqrt-div_binary64_640
3×associate-*r*_binary64_719 flip--_binary64_686 flip3--_binary64_659
2×associate-/r/_binary64_725 cbrt-unprod_binary64_629 div-exp_binary64_609 associate--l+_binary64_716 unswap-sqr_binary64_688 prod-exp_binary64_607 cbrt-undiv_binary64_630
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 distribute-lft-in_binary64_702 sub-neg_binary64_664 diff-log_binary64_571 pow-prod-down_binary64_583 associate-/l*_binary64_724 *-commutative_binary64_728 pow1/2_binary64_592 frac-2neg_binary64_653 distribute-rgt-in_binary64_703 clear-num_binary64_663
Counts
4 → 79
Calls
4 calls:
25.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
6.0ms
(*.f64 (sqrt.f64 2) t)
19.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
202.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

series1.1s

Counts
4 → 12
Calls
4 calls:
261.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
261.0ms
(*.f64 (sqrt.f64 2) t)
282.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
289.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0873900
1873900
053033762
0873900
1873900
053033762
013
113
0843882
1843882
053003744
0843882
1843882
053003744
013
113
01831479
11831479
036981
136981
01831479
11831479
036981
136981
013
113
04843996
14843996
049803840
149803840
04843996
14843996
049803840
149803840
013
113

simplify137.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
059042843

prune166.0ms

Filtered
65 candidates to 91 candidates (-40.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New791291
Fresh000
Picked101
Done000
Total801292

Merged error: 39.3b

Counts
92 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(*.f64 t (sqrt.f64 2))
0.5b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 t (sqrt.f64 2)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))) 3))
14.0b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
20.1b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod_binary64_627
20×add-sqr-sqrt_binary64_645
15×add-cube-cbrt_binary64_631 *-un-lft-identity_binary64_660
13×sqrt-prod_binary64_639
12×cube-prod_binary64_633 times-frac_binary64_655 unpow-prod-down_binary64_591
7×pow1_binary64_602
6×associate-*r*_binary64_719 add-log-exp_binary64_625 add-cbrt-cube_binary64_632 add-exp-log_binary64_624 sqrt-div_binary64_640
4×flip--_binary64_686 associate-/r/_binary64_725 flip3--_binary64_659
3×associate-*l*_binary64_720
2×div-inv_binary64_661 associate--l+_binary64_716 unswap-sqr_binary64_688
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 cbrt-unprod_binary64_629 distribute-lft-in_binary64_702 rem-cbrt-cube_binary64_637 sub-neg_binary64_664 diff-log_binary64_571 sqr-pow_binary64_692 cube-div_binary64_634 unpow3_binary64_600 pow-prod-down_binary64_583 cbrt-div_binary64_628 pow1/3_binary64_594 cube-mult_binary64_635 *-commutative_binary64_728 pow1/2_binary64_592 prod-exp_binary64_607 distribute-rgt-in_binary64_703
Counts
4 → 90
Calls
4 calls:
6.0ms
(*.f64 t (sqrt.f64 2))
25.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 t (sqrt.f64 2)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))) 3))
19.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
19.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

series1.1s

Counts
4 → 12
Calls
4 calls:
259.0ms
(*.f64 t (sqrt.f64 2))
265.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 t (sqrt.f64 2)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))) 3))
279.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
284.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0873900
1873900
053033762
0873900
1873900
053033762
013
113
0843882
1843882
053003744
0843882
1843882
053003744
013
113
01014041
11014041
048943840
148943840
01014041
11014041
048943840
148943840
013
113
01831479
11831479
036981
136981
01831479
11831479
036981
136981
013
113

simplify73.0ms

Counts
102 → 102
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
051673901

prune124.0ms

Filtered
59 candidates to 102 candidates (-72.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New984102
Fresh5611
Picked101
Done000
Total10410114

Merged error: 39.3b

Counts
114 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
0.6b
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
14.0b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
20.1b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_645 add-log-exp_binary64_625
5×add-cube-cbrt_binary64_631 pow1_binary64_602 *-un-lft-identity_binary64_660
4×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
3×sqrt-prod_binary64_639
2×flip--_binary64_686 pow1/3_binary64_594 associate--l+_binary64_716 cbrt-prod_binary64_627 sqrt-div_binary64_640 flip3--_binary64_659
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 distribute-lft-in_binary64_702 sub-neg_binary64_664 diff-log_binary64_571 pow1/2_binary64_592 distribute-rgt-in_binary64_703
Counts
4 → 46
Calls
4 calls:
4.0ms
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
4.0ms
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
19.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
19.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

series802.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
116.0ms
(cbrt.f64 (*.f64 t (sqrt.f64 2)))
286.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
284.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0873900
1873900
053033762
0873900
1873900
053033762
013
113
0843882
1843882
053003744
0843882
1843882
053003744
013
113
0371959
1371959
01321932
11321932
0371959
1371959
01321932
11321932
013
113
0371959
1371959
01321932
11321932
0371959
1371959
01321932
11321932
013
113

simplify102.0ms

Counts
58 → 58
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
053361380

prune119.0ms

Filtered
44 candidates to 58 candidates (-31.8%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New57158
Fresh099
Picked011
Done000
Total571168

Merged error: 39.3b

Counts
68 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

14.0b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
14.0b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
20.1b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
24.1b
(/.f64 (*.f64 2 (*.f64 t t)) (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
8×add-sqr-sqrt_binary64_645 add-log-exp_binary64_625
7×add-cube-cbrt_binary64_631 *-un-lft-identity_binary64_660
5×pow1_binary64_602
4×flip--_binary64_686 associate--l+_binary64_716 flip3--_binary64_659
3×cbrt-unprod_binary64_629 times-frac_binary64_655 div-exp_binary64_609 associate-/r*_binary64_723 prod-exp_binary64_607 cbrt-undiv_binary64_630 sqrt-prod_binary64_639
2×associate-/r/_binary64_725 distribute-lft-in_binary64_702 sub-neg_binary64_664 diff-log_binary64_571 sqrt-div_binary64_640 distribute-rgt-in_binary64_703
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 associate-/l*_binary64_724 pow1/2_binary64_592 frac-2neg_binary64_653 clear-num_binary64_663
Counts
4 → 66
Calls
4 calls:
19.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
19.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
19.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
26.0ms
(/.f64 (*.f64 2 (*.f64 t t)) (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

series1.1s

Counts
4 → 12
Calls
4 calls:
280.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
281.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
284.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
276.0ms
(/.f64 (*.f64 2 (*.f64 t t)) (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04774011
14774011
050893825
04774011
14774011
050893825
013
113
0873900
1873900
053033762
0873900
1873900
053033762
013
113
0843882
1843882
053003744
0843882
1843882
053003744
013
113
0843882
1843882
053003744
0843882
1843882
053003744
013
113

simplify101.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050192955

prune150.0ms

Filtered
58 candidates to 78 candidates (-34.5%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New77178
Fresh099
Picked011
Done011
Total771289

Merged error: 39.3b

Counts
89 → 12

regimes209.0ms

Accuracy

69.1% (1.3b remaining)

Error of 40.6b against oracle of 39.3b and baseline of 43.6b

bsearch3.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06878
16878

end0.0ms

sample1.9s

Algorithm
intervals
Results
349.0ms5069×body80valid
291.0ms889×body1280valid
260.0ms1011×body640valid
196.0ms599×body1280nan
148.0ms596×body640nan
128.0ms666×body320valid
91.0ms1385×body80nan
65.0ms351×body320nan
47.0ms365×body160valid
24.0ms193×body160nan

Profiling

Loading profile data...