Details

Time bar (total: 25.8s)

sample195.0ms

Algorithm
intervals
Results
140.0ms558×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5001
41710
3614
2201
166
028

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.5b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.5b
(* (* x 18.0) y)
3.8b
(* (* (* x 18.0) y) z)
5.4b
(* (* (* (* x 18.0) y) z) t)

rewrite266.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×associate-*l* *-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
13.0ms
(* (* x 4.0) i)
21.0ms
(* (* x 18.0) y)
55.0ms
(* (* (* x 18.0) y) z)
173.0ms
(* (* (* (* x 18.0) y) z) t)

series166.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* x 4.0) i)
25.0ms
(* (* x 18.0) y)
45.0ms
(* (* (* x 18.0) y) z)
70.0ms
(* (* (* (* x 18.0) y) z) t)

simplify2.3s

Counts
97 → 97
Iterations
IterNodes
done5000
23080
1370
0137

prune859.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.2b

localize87.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.3b
(* x (* 18.0 y))
3.8b
(* (* x (* 18.0 y)) z)
5.4b
(* (* (* x (* 18.0 y)) z) t)

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
14.0ms
(* (* x 4.0) i)
13.0ms
(* x (* 18.0 y))
34.0ms
(* (* x (* 18.0 y)) z)
186.0ms
(* (* (* x (* 18.0 y)) z) t)

series193.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* x 4.0) i)
27.0ms
(* x (* 18.0 y))
55.0ms
(* (* x (* 18.0 y)) z)
81.0ms
(* (* (* x (* 18.0 y)) z) t)

simplify1.9s

Counts
97 → 97
Iterations
IterNodes
done5000
22510
1363
0135

prune890.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 18.0 (* x y))
0.2b
(* (* x 4.0) i)
3.8b
(* (* 18.0 (* x y)) z)
5.4b
(* (* (* 18.0 (* x y)) z) t)

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
24.0ms
(* 18.0 (* x y))
30.0ms
(* (* x 4.0) i)
39.0ms
(* (* 18.0 (* x y)) z)
213.0ms
(* (* (* 18.0 (* x y)) z) t)

series168.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* 18.0 (* x y))
24.0ms
(* (* x 4.0) i)
42.0ms
(* (* 18.0 (* x y)) z)
76.0ms
(* (* (* 18.0 (* x y)) z) t)

simplify2.2s

Counts
97 → 97
Iterations
IterNodes
done5001
22523
1357
0133

prune886.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize55.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* k 27.0))
0.4b
(* x (* z 18.0))
3.4b
(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
4.8b
(* y (* x (* z 18.0)))

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×pow-prod-down prod-exp cbrt-unprod
12×associate-*l*
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×*-commutative insert-posit16 add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
19.0ms
(* j (* k 27.0))
13.0ms
(* x (* z 18.0))
210.0ms
(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
55.0ms
(* y (* x (* z 18.0)))

series298.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* j (* k 27.0))
45.0ms
(* x (* z 18.0))
154.0ms
(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
70.0ms
(* y (* x (* z 18.0)))

simplify1.8s

Counts
93 → 93
Iterations
IterNodes
done5000
21750
1378
0149

prune813.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.7b

regimes2.7s

Accuracy

30.6% (3.3b remaining)

Error of 3.8b against oracle of 0.5b and baseline of 5.2b

bsearch623.0ms

Steps
ItersRangePoint
11
1.7170079854808418e-28
3.869069856444949e-09
4.700365572470833e-22
10
-3.528033539557161e-242
-4.171467485866497e-255
-2.231438472416083e-242

simplify15.0ms

Iterations
IterNodes
done81
181
054

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.8s16267×body80valid