Details

Time bar (total: 23.9s)

sample179.0ms

Algorithm
intervals
Results
96.0ms486×body80valid

simplify4.4s

Counts
1 → 1
Iterations

Useful iterations: done (4.4s)

IterNodesCost
02831
16729
222127
380927
4380027
done500026

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 27.0 k) j)
0.2b
(* (* x 18.0) y)
4.2b
(* (* (* x 18.0) y) z)
5.2b
(* (* (* (* x 18.0) y) z) t)

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
18.0ms
(* (* 27.0 k) j)
29.0ms
(* (* x 18.0) y)
75.0ms
(* (* (* x 18.0) y) z)
182.0ms
(* (* (* (* x 18.0) y) z) t)

series155.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* 27.0 k) j)
25.0ms
(* (* x 18.0) y)
45.0ms
(* (* (* x 18.0) y) z)
62.0ms
(* (* (* (* x 18.0) y) z) t)

simplify2.6s

Counts
101 → 101
Iterations

Useful iterations: 2 (493.0ms)

IterNodesCost
0145974
1378944
23120774
done5000774

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (* x 18.0))
0.2b
(* (* 27.0 k) j)
4.1b
(* (* z (* x 18.0)) y)
5.2b
(* (pow (* (* z (* x 18.0)) y) 1) t)

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
25×add-cbrt-cube
24×pow1 prod-exp
13×pow-prod-down cbrt-unprod
12×add-sqr-sqrt
10×associate-*r* associate-*l*
9×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow-exp *-commutative log1p-expm1-u add-log-exp
2×unswap-sqr sqr-pow
1×pow-to-exp unpow-prod-down
Counts
4 → 91
Calls
4 calls:
12.0ms
(* z (* x 18.0))
27.0ms
(* (* 27.0 k) j)
71.0ms
(* (* z (* x 18.0)) y)
49.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

series128.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* z (* x 18.0))
20.0ms
(* (* 27.0 k) j)
35.0ms
(* (* z (* x 18.0)) y)
53.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

simplify1.5s

Counts
103 → 103
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01611033
1402919
22293794
done5000786

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (* x 18.0))
0.2b
(* 27.0 (* j k))
4.1b
(* (* z (* x 18.0)) y)
5.2b
(* (pow (* (* z (* x 18.0)) y) 1) t)

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
25×add-cbrt-cube
24×pow1 prod-exp
13×pow-prod-down cbrt-unprod
12×add-sqr-sqrt associate-*l*
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
4×expm1-log1p-u pow-exp *-commutative log1p-expm1-u add-log-exp
2×unswap-sqr sqr-pow
1×pow-to-exp unpow-prod-down
Counts
4 → 91
Calls
4 calls:
16.0ms
(* z (* x 18.0))
14.0ms
(* 27.0 (* j k))
54.0ms
(* (* z (* x 18.0)) y)
61.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

series171.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* z (* x 18.0))
33.0ms
(* 27.0 (* j k))
38.0ms
(* (* z (* x 18.0)) y)
67.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

simplify1.2s

Counts
103 → 103
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01571030
1386918
21896787
done5000781

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize63.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (* x 18.0))
0.2b
(* (* 27.0 j) k)
4.1b
(* (* z (* x 18.0)) y)
5.2b
(* (pow (* (* z (* x 18.0)) y) 1) t)

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
25×add-cbrt-cube
24×pow1 prod-exp
13×pow-prod-down cbrt-unprod
12×add-sqr-sqrt
10×associate-*r* associate-*l*
9×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow-exp *-commutative log1p-expm1-u add-log-exp
2×unswap-sqr sqr-pow
1×pow-to-exp unpow-prod-down
Counts
4 → 91
Calls
4 calls:
12.0ms
(* z (* x 18.0))
19.0ms
(* (* 27.0 j) k)
69.0ms
(* (* z (* x 18.0)) y)
39.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

series157.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* z (* x 18.0))
35.0ms
(* (* 27.0 j) k)
50.0ms
(* (* z (* x 18.0)) y)
52.0ms
(* (pow (* (* z (* x 18.0)) y) 1) t)

simplify1.3s

Counts
103 → 103
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01601033
1402919
22328788
done5001782

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

regimes1.8s

Accuracy

38.8% (3.3b remaining)

Error of 3.5b against oracle of 0.2b and baseline of 5.6b

bsearch390.0ms

Steps
ItersRangePoint
8
7.541624567503236e-118
4.459768790882017e-114
4.380641794557572e-114
8
-78.94454366074508
-0.009092096525249062
-0.4257758340542571

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04292
16061
done6061

end0.0ms

sample4.7s

Algorithm
intervals
Results
3.0s16234×body80valid