Details

Time bar (total: 7.3s)

analyze246.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
25%74.9%0.1%6
25%74.9%0.1%7
43.7%56.2%0.1%8
62.4%37.4%0.1%9
65.5%34.3%0.1%10
71.8%27.7%0.5%11
79.2%19.7%1.1%12
80.2%18.7%1.1%13
82.8%15%2.2%14

sample17.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
1.0ms15×body80invalid

simplify26.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
010616
110616

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.6b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

2.8b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
4.0b
(*.f64 y (+.f64 1 (*.f64 z z)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac_binary64_8582
26×add-exp-log_binary64_8551
20×add-sqr-sqrt_binary64_8572
18×add-cube-cbrt_binary64_8558 *-un-lft-identity_binary64_8587
16×add-cbrt-cube_binary64_8559
13×associate-/l*_binary64_8651
12×div-exp_binary64_8536
6×cbrt-undiv_binary64_8557
5×prod-exp_binary64_8534
4×pow1_binary64_8529 associate-*r/_binary64_8648
3×associate-*l*_binary64_8647 associate-*r*_binary64_8646 cbrt-unprod_binary64_8556 div-inv_binary64_8588
2×flip-+_binary64_8612 associate-/r/_binary64_8652 flip3-+_binary64_8585 add-log-exp_binary64_8552 1-exp_binary64_8547 rec-exp_binary64_8535
1×unswap-sqr_binary64_8615 pow-prod-down_binary64_8510 *-commutative_binary64_8655 distribute-lft-in_binary64_8629 frac-2neg_binary64_8580 associate-/r*_binary64_8650 clear-num_binary64_8590 distribute-rgt-in_binary64_8630 associate-/l/_binary64_8653
Counts
2 → 74
Calls
2 calls:
11.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
9.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))

series1.0s

Counts
2 → 6
Calls
2 calls:
905.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
123.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0992500
1992500
0132250
1132250
0992500
1992500
0132250
1132250
013
113
0813651
1813651
022433537
122433537
0813651
1813651
022433537
122433537
013
113

simplify147.0ms

Counts
80 → 80
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
051231257

prune75.0ms

Filtered
50 candidates to 80 candidates (-60.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New72880
Fresh000
Picked101
Done000
Total73881

Merged error: 5.0b

Counts
81 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.3b
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
2.6b
(*.f64 (/.f64 1 x) (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))))
4.0b
(*.f64 y (+.f64 1 (*.f64 z z)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
99×add-exp-log_binary64_8551
44×prod-exp_binary64_8534
34×div-exp_binary64_8536
31×add-cbrt-cube_binary64_8559
25×add-sqr-sqrt_binary64_8572
17×times-frac_binary64_8582 1-exp_binary64_8547 *-un-lft-identity_binary64_8587 rec-exp_binary64_8535
16×add-cube-cbrt_binary64_8558 associate-*l*_binary64_8647
15×pow1_binary64_8529
12×associate-*r*_binary64_8646
10×cbrt-unprod_binary64_8556
9×cbrt-undiv_binary64_8557
7×pow-prod-down_binary64_8510 associate-*r/_binary64_8648
6×pow-flip_binary64_8513
4×unswap-sqr_binary64_8615 associate-/r/_binary64_8652
3×associate-/l*_binary64_8651 flip-+_binary64_8612 flip3-+_binary64_8585 add-log-exp_binary64_8552 inv-pow_binary64_8505 div-inv_binary64_8588
2×*-commutative_binary64_8655
1×associate-*l/_binary64_8649 frac-times_binary64_8579 distribute-lft-in_binary64_8629 frac-2neg_binary64_8580 associate-/r*_binary64_8650 clear-num_binary64_8590 distribute-rgt-in_binary64_8630 un-div-inv_binary64_8589
Counts
3 → 127
Calls
3 calls:
10.0ms
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
18.0ms
(*.f64 (/.f64 1 x) (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))))
7.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))

series1.2s

Counts
3 → 9
Calls
3 calls:
237.0ms
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
867.0ms
(*.f64 (/.f64 1 x) (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))))
124.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0992500
1992500
0132250
1132250
0992500
1992500
0132250
1132250
013
113
0693678
1693678
022433537
122433537
0693678
1693678
022433537
122433537
013
113
01352628
11352628
049732386
149732386
01352628
11352628
049732386
149732386
013
113

simplify150.0ms

Counts
136 → 136
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
049431966
149431966

prune76.0ms

Filtered
69 candidates to 136 candidates (-97.1%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1342136
Fresh257
Picked101
Done000
Total1377144

Merged error: 5.0b

Counts
144 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b
(/.f64 1 (+.f64 1 (*.f64 z z)))
2.6b
(*.f64 (/.f64 1 x) (*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z)))))
4.0b
(*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
296×add-exp-log_binary64_8551
148×prod-exp_binary64_8534
116×div-exp_binary64_8536
58×add-cbrt-cube_binary64_8559 1-exp_binary64_8547 rec-exp_binary64_8535
56×add-sqr-sqrt_binary64_8572
48×times-frac_binary64_8582
38×*-un-lft-identity_binary64_8587
32×add-cube-cbrt_binary64_8558
26×associate-*l*_binary64_8647
22×cbrt-unprod_binary64_8556
18×cbrt-undiv_binary64_8557
16×pow1_binary64_8529 associate-*r*_binary64_8646
10×pow-prod-down_binary64_8510
9×unswap-sqr_binary64_8615
7×frac-times_binary64_8579 associate-*r/_binary64_8648
6×inv-pow_binary64_8505 pow-flip_binary64_8513
4×associate-*l/_binary64_8649 associate-/r/_binary64_8652 div-inv_binary64_8588
3×associate-/l*_binary64_8651 associate-/r*_binary64_8650 add-log-exp_binary64_8552 un-div-inv_binary64_8589
2×flip-+_binary64_8612 *-commutative_binary64_8655 flip3-+_binary64_8585
1×frac-2neg_binary64_8580 clear-num_binary64_8590
Counts
3 → 218
Calls
3 calls:
6.0ms
(/.f64 1 (+.f64 1 (*.f64 z z)))
22.0ms
(*.f64 (/.f64 1 x) (*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z)))))
17.0ms
(*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z))))

series1.5s

Counts
3 → 9
Calls
3 calls:
257.0ms
(/.f64 1 (+.f64 1 (*.f64 z z)))
965.0ms
(*.f64 (/.f64 1 x) (*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z)))))
311.0ms
(*.f64 (/.f64 1 y) (/.f64 1 (+.f64 1 (*.f64 z z))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01342661
11342661
048862328
148862328
01342661
11342661
048862328
148862328
013
113
0713705
1713705
022433537
122433537
0713705
1713705
022433537
122433537
013
113
02051821
12051821
049081333
149081333
02051821
12051821
049081333
149081333
013
113

simplify169.0ms

Counts
227 → 227
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
049083590
149083590

prune107.0ms

Filtered
93 candidates to 227 candidates (-144.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2261227
Fresh246
Picked011
Done000
Total2286234

Merged error: 5.0b

Counts
234 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
2.6b
(/.f64 (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))) x)
4.0b
(*.f64 y (+.f64 1 (*.f64 z z)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac_binary64_8582
35×add-exp-log_binary64_8551
27×add-sqr-sqrt_binary64_8572
25×add-cube-cbrt_binary64_8558 *-un-lft-identity_binary64_8587
19×add-cbrt-cube_binary64_8559
15×div-exp_binary64_8536
12×associate-/l*_binary64_8651 associate-*r/_binary64_8648
10×associate-/r/_binary64_8652
8×pow1_binary64_8529
7×prod-exp_binary64_8534 cbrt-undiv_binary64_8557
6×flip-+_binary64_8612 flip3-+_binary64_8585 div-inv_binary64_8588
4×associate-/r*_binary64_8650 1-exp_binary64_8547 rec-exp_binary64_8535
3×associate-*l*_binary64_8647 associate-*r*_binary64_8646 cbrt-unprod_binary64_8556 add-log-exp_binary64_8552
2×pow-prod-down_binary64_8510 frac-2neg_binary64_8580 clear-num_binary64_8590 pow-flip_binary64_8513
1×unswap-sqr_binary64_8615 *-commutative_binary64_8655 distribute-lft-in_binary64_8629 inv-pow_binary64_8505 distribute-rgt-in_binary64_8630 associate-/l/_binary64_8653
Counts
3 → 112
Calls
3 calls:
10.0ms
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
12.0ms
(/.f64 (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))) x)
7.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))

series1.5s

Counts
3 → 9
Calls
3 calls:
236.0ms
(/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z))))
1.1s
(/.f64 (/.f64 1 (*.f64 y (+.f64 1 (*.f64 z z)))) x)
123.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0992500
1992500
0132250
1132250
0992500
1992500
0132250
1132250
013
113
0843651
1843651
022433537
122433537
0843651
1843651
022433537
122433537
013
113
01352628
11352628
049732386
149732386
01352628
11352628
049732386
149732386
013
113

simplify125.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
050222070

prune70.0ms

Filtered
74 candidates to 121 candidates (-63.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh044
Picked011
Done011
Total1216127

Merged error: 5.0b

Counts
127 → 6

regimes126.0ms

Accuracy

0% (1.6b remaining)

Error of 6.3b against oracle of 4.7b and baseline of 6.3b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01722
11722

end0.0ms

sample485.0ms

Algorithm
intervals
Results
290.0ms8000×body80valid
17.0ms429×body80invalid

Profiling

Loading profile data...