Details

Time bar (total: 11.5s)

analyze2.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.5%0.5%0
0%99.5%0.5%1
0%99.5%0.5%2
0%99.5%0.5%3
0%99.5%0.5%4
0%99.5%0.5%5
0%99.5%0.5%6
0%99.5%0.5%7
0%99.5%0.5%8
0%99.5%0.5%9
0%99.5%0.5%10
0%99.5%0.5%11
0%99.5%0.5%12
0%99.5%0.5%13
0%99.5%0.5%14

sample87.0ms

Algorithm
intervals
Results
25.0ms306×body80invalid
21.0ms256×body80valid

simplify701.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (685.0ms)

IterNodesCost
0296543
1296543

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 6.7b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 x 18) y)
0.3b
(*.f64 (*.f64 j 27) k)
3.2b
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
6.0b
(*.f64 (*.f64 (*.f64 x 18) y) z)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
13×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
12×associate-*r*_binary64
11×add-sqr-sqrt_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×associate-*l*_binary64
4×add-log-exp_binary64 insert-posit16 *-commutative_binary64
2×sub-neg_binary64 associate-*r/_binary64
1×flip3--_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 flip--_binary64
Counts
4 → 83
Calls
4 calls:
6.0ms
(*.f64 (*.f64 x 18) y)
6.0ms
(*.f64 (*.f64 j 27) k)
12.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
9.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)

series870.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(*.f64 (*.f64 x 18) y)
176.0ms
(*.f64 (*.f64 j 27) k)
322.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
199.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0290309
1290309
089
189
0290309
1290309
089
189
013
113
0512579
1512579
02521
12521
0512579
1512579
02521
12521
0453
1453
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113

simplify77.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
051301122

prune117.0ms

Filtered
57 candidates to 95 candidates (-66.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New87895
Fresh000
Picked101
Done000
Total88896

Merged error: 1.8b

Counts
96 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4))) (-.f64 (*.f64 b c) (+.f64 (*.f64 (*.f64 x 4) i) (*.f64 (*.f64 j 27) k))))
0.3b
(*.f64 (*.f64 j 27) k)
3.2b
(*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4)))
6.0b
(*.f64 (*.f64 x 18) (*.f64 y z))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
13×add-log-exp_binary64
12×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
9×add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
6×associate-*r/_binary64
5×sub-neg_binary64 flip3--_binary64 associate-*l*_binary64 flip--_binary64
4×frac-add_binary64 insert-posit16 sum-log_binary64
3×*-commutative_binary64
2×diff-log_binary64 associate-+l+_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
1×flip3-+_binary64 associate-+r-_binary64 unswap-sqr_binary64 +-commutative_binary64 flip-+_binary64 associate-+r+_binary64
Counts
4 → 87
Calls
4 calls:
25.0ms
(+.f64 (*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4))) (-.f64 (*.f64 b c) (+.f64 (*.f64 (*.f64 x 4) i) (*.f64 (*.f64 j 27) k))))
6.0ms
(*.f64 (*.f64 j 27) k)
13.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4)))
8.0ms
(*.f64 (*.f64 x 18) (*.f64 y z))

series1.4s

Counts
4 → 12
Calls
4 calls:
652.0ms
(+.f64 (*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4))) (-.f64 (*.f64 b c) (+.f64 (*.f64 (*.f64 x 4) i) (*.f64 (*.f64 j 27) k))))
174.0ms
(*.f64 (*.f64 j 27) k)
329.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 x 18) (*.f64 y z)) (*.f64 a 4)))
217.0ms
(*.f64 (*.f64 x 18) (*.f64 y z))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0320297
1320297
099
199
0320297
1320297
099
199
013
113
0540567
1540567
02721
12721
0540567
1540567
02721
12721
0453
1453
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
011171059
111171059
0179
1179
011171059
111171059
0179
1179
013
113

simplify157.0ms

Counts
99 → 99
Iterations

Useful iterations: 0 (121.0ms)

IterNodesCost
049802660
149802660

prune136.0ms

Filtered
62 candidates to 99 candidates (-59.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New94599
Fresh077
Picked011
Done000
Total9413107

Merged error: 1.7b

Counts
107 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 18 (*.f64 y z))
0.3b
(*.f64 (*.f64 j 27) k)
3.2b
(*.f64 t (-.f64 (*.f64 x (*.f64 18 (*.f64 y z))) (*.f64 a 4)))
6.0b
(*.f64 x (*.f64 18 (*.f64 y z)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
13×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
11×add-sqr-sqrt_binary64
10×associate-*l*_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×associate-*r*_binary64
4×add-log-exp_binary64 insert-posit16 *-commutative_binary64
2×sub-neg_binary64 associate-*r/_binary64
1×flip3--_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 flip--_binary64
Counts
4 → 83
Calls
4 calls:
7.0ms
(*.f64 18 (*.f64 y z))
6.0ms
(*.f64 (*.f64 j 27) k)
12.0ms
(*.f64 t (-.f64 (*.f64 x (*.f64 18 (*.f64 y z))) (*.f64 a 4)))
9.0ms
(*.f64 x (*.f64 18 (*.f64 y z)))

series955.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(*.f64 18 (*.f64 y z))
179.0ms
(*.f64 (*.f64 j 27) k)
344.0ms
(*.f64 t (-.f64 (*.f64 x (*.f64 18 (*.f64 y z))) (*.f64 a 4)))
247.0ms
(*.f64 x (*.f64 18 (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0374321
1374321
099
199
0374321
1374321
099
199
013
113
0564591
1564591
02721
12721
0564591
1564591
02721
12721
0453
1453
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0269201
1269201
099
199
0269201
1269201
099
199
013
113

simplify72.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049811118
149811118

prune108.0ms

Filtered
55 candidates to 95 candidates (-72.7%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New94195
Fresh01111
Picked011
Done011
Total9414108

Merged error: 1.7b

Counts
108 → 14

localize26.0ms

Local error

Found 4 expressions with local error:

6.0b
(*.f64 (*.f64 (*.f64 x 18) y) z)
17.8b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
17.8b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
17.8b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-*r*_binary64 pow1/3_binary64 cbrt-prod_binary64
1×associate-*l*_binary64 *-commutative_binary64
Counts
4 → 52
Calls
4 calls:
9.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
6.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
7.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
6.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))

series945.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
245.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
254.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
243.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01381707
11381707
04657546
14657546
01381707
11381707
04657546
14657546
05041
15041
01381707
11381707
04657546
14657546
01381707
11381707
04657546
14657546
05041
15041
01381707
11381707
04657546
14657546
01381707
11381707
04657546
14657546
05041
15041
0290309
1290309
089
189
0290309
1290309
089
189
013
113

simplify129.0ms

Counts
64 → 64
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
04994700
14994700

prune98.0ms

Filtered
46 candidates to 64 candidates (-39.1%)
Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh01111
Picked011
Done022
Total641478

Merged error: 1.7b

Counts
78 → 14

regimes784.0ms

Accuracy

52.9% (1.9b remaining)

Error of 4.1b against oracle of 2.2b and baseline of 6.2b

bsearch165.0ms

Steps
ItersRangePoint
3
1.848259016188601e+264
2.185741047947849e+264
2.0911460381468777e+264
7
4.643965144627747e-64
1.136997647229946e-62
4.1346406395579365e-63
11
-6.260808355888977e-33
-1.5076522720734654e-56
-1.2979464893330037e-36

simplify13.0ms

Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0222179
1222179

end0.0ms

sample2.3s

Algorithm
intervals
Results
697.0ms8050×body80invalid
690.0ms8000×body80valid

Profiling

Loading profile data...