Details

Time bar (total: 18.2s)

sample71.0ms

Algorithm
intervals
Results
28.0ms408×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
51885
4805
3287
293
137
018

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.4b

localize54.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* x 9.0) y)
0.5b
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
1.8b
(/ (+ (* (* x 9.0) y) b) z)
11.6b
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

rewrite537.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
13×add-cbrt-cube add-exp-log
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×associate-/l/
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
1×sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
21.0ms
(* (* x 9.0) y)
154.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
59.0ms
(/ (+ (* (* x 9.0) y) b) z)
300.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

series479.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* x 9.0) y)
203.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
66.0ms
(/ (+ (* (* x 9.0) y) b) z)
178.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

simplify999.0ms

Counts
101 → 101
Iterations
IterNodes
done5001
22407
1459
0182

prune833.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (* t a) c) 4.0)
0.2b
(* (* y x) 9.0)
5.7b
(/ (* t a) c)
9.6b
(/ (+ b (* (* y x) 9.0)) (* z c))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
28×add-cbrt-cube add-exp-log
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
11×pow1
9×times-frac prod-exp cbrt-unprod
8×associate-*l*
6×cbrt-undiv div-exp associate-*r*
4×associate-/r* pow-prod-down associate-/l* add-log-exp
3×div-inv
2×clear-num frac-2neg *-commutative associate-/l/
1×flip3-+ associate-*l/ flip-+ unswap-sqr
Counts
4 → 89
Calls
4 calls:
27.0ms
(* (/ (* t a) c) 4.0)
21.0ms
(* (* y x) 9.0)
12.0ms
(/ (* t a) c)
35.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

series160.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (/ (* t a) c) 4.0)
19.0ms
(* (* y x) 9.0)
25.0ms
(/ (* t a) c)
85.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

simplify1.4s

Counts
101 → 101
Iterations
IterNodes
done5000
22675
1477
0177

prune749.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.5b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* t (/ a c)) 4.0)
0.2b
(* (* y x) 9.0)
4.9b
(* t (/ a c))
9.6b
(/ (+ b (* (* y x) 9.0)) (* z c))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
28×add-cbrt-cube add-exp-log
21×add-sqr-sqrt
19×associate-*r*
16×pow1 *-un-lft-identity add-cube-cbrt
13×times-frac
11×prod-exp cbrt-unprod
7×pow-prod-down
5×associate-*l*
4×cbrt-undiv div-exp add-log-exp
3×*-commutative associate-/l*
2×associate-*r/ div-inv unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ associate-*l/ flip-+
Counts
4 → 94
Calls
4 calls:
32.0ms
(* (* t (/ a c)) 4.0)
13.0ms
(* (* y x) 9.0)
14.0ms
(* t (/ a c))
41.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

series218.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (* t (/ a c)) 4.0)
25.0ms
(* (* y x) 9.0)
35.0ms
(* t (/ a c))
112.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

simplify1.3s

Counts
106 → 106
Iterations
IterNodes
done5000
22676
1520
0191

prune847.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ t (/ c a)) 4.0)
0.2b
(* (* y x) 9.0)
4.8b
(/ t (/ c a))
9.6b
(/ (+ b (* (* y x) 9.0)) (* z c))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
147×times-frac
94×add-sqr-sqrt
85×*-un-lft-identity add-cube-cbrt
45×associate-*l*
28×add-cbrt-cube add-exp-log
14×associate-/r*
11×pow1
10×div-inv
8×cbrt-undiv div-exp
7×prod-exp cbrt-unprod
6×associate-*r* associate-/l*
4×pow-prod-down add-log-exp
3×unswap-sqr
2×clear-num frac-2neg associate-/r/ *-commutative associate-/l/
1×flip3-+ associate-*l/ flip-+
Counts
4 → 177
Calls
4 calls:
50.0ms
(* (/ t (/ c a)) 4.0)
26.0ms
(* (* y x) 9.0)
7.0ms
(/ t (/ c a))
19.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

series225.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (/ t (/ c a)) 4.0)
33.0ms
(* (* y x) 9.0)
43.0ms
(/ t (/ c a))
96.0ms
(/ (+ b (* (* y x) 9.0)) (* z c))

simplify1.5s

Counts
189 → 189
Iterations
IterNodes
done5001
24307
1855
0312

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes1.7s

Accuracy

23.9% (8.4b remaining)

Error of 8.6b against oracle of 0.2b and baseline of 11.3b

bsearch697.0ms

Steps
ItersRangePoint
7
2.857871721518148e+239
2.0079100991957638e+241
3.0076609582774245e+239
7
2.879521326821549e+119
1.082018725988813e+121
5.384874907132592e+119
9
9.146878737578174e+105
2.60643660495658e+114
2.9017262342044766e+112
10
65786407574.5818
4.0974495964852005e+21
8.290210019565755e+18
7
-6.564004095504071e+73
-2.0856332099267125e+72
-3.219989311472563e+72
8
-3.835306449406136e+237
-7.546023792486945e+233
-1.6250856315433587e+236

simplify9.0ms

Iterations
IterNodes
done83
183
063

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s12826×body80valid