Details

Time bar (total: 16.6s)

sample97.0ms

Algorithm
intervals
Results
40.0ms468×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01819
13219
27719
323219
482119
5280219
done500119

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.2b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(+ (* x y) (* z t))
0.1b
(* (+ a (* b c)) c)
11.4b
(* (* (+ a (* b c)) c) i)

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-exp-log add-cbrt-cube
9×add-sqr-sqrt
8×add-log-exp
7×add-cube-cbrt *-un-lft-identity
6×associate-*r* associate-*l/
4×flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+
2×+-commutative sum-log *-commutative
1×unswap-sqr
Counts
4 → 62
Calls
4 calls:
5.0ms
(+ a (* b c))
9.0ms
(+ (* x y) (* z t))
21.0ms
(* (+ a (* b c)) c)
51.0ms
(* (* (+ a (* b c)) c) i)

series228.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(+ a (* b c))
47.0ms
(+ (* x y) (* z t))
68.0ms
(* (+ a (* b c)) c)
85.0ms
(* (* (+ a (* b c)) c) i)

simplify1.2s

Counts
74 → 74
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0115798
1325780
21700682
done5000680

prune408.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
0.0b
(+ (* x y) (* z t))
4.1b
(* (+ a (* b c)) (* i c))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
9×pow1 add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×associate-*l/
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×frac-sub
3×associate-*l* pow-prod-down prod-exp sum-log cbrt-unprod
2×+-commutative diff-log
1×sub-neg flip3-- associate-*r* associate--l+ *-commutative flip--
Counts
4 → 60
Calls
4 calls:
6.0ms
(+ a (* b c))
52.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
8.0ms
(+ (* x y) (* z t))
41.0ms
(* (+ a (* b c)) (* i c))

series1.1s

Counts
4 → 12
Calls
4 calls:
47.0ms
(+ a (* b c))
895.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
43.0ms
(+ (* x y) (* z t))
85.0ms
(* (+ a (* b c)) (* i c))

simplify1.2s

Counts
72 → 72
Iterations

Useful iterations: 2 (313.0ms)

IterNodesCost
01291315
14051225
218701145
done50001145

prune409.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.0b

localize39.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (+ a (* b c)))
1.5b
(cbrt (+ a (* b c)))
1.5b
(cbrt (+ a (* b c)))
4.1b
(* (* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (cbrt (+ a (* b c)))) (* i c))

rewrite344.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
40×associate-*l/
30×flip3-+ flip-+
28×frac-times
25×pow1 add-exp-log
17×add-cbrt-cube
15×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 93
Calls
4 calls:
3.0ms
(cbrt (+ a (* b c)))
3.0ms
(cbrt (+ a (* b c)))
3.0ms
(cbrt (+ a (* b c)))
329.0ms
(* (* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (cbrt (+ a (* b c)))) (* i c))

series582.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(cbrt (+ a (* b c)))
152.0ms
(cbrt (+ a (* b c)))
160.0ms
(cbrt (+ a (* b c)))
106.0ms
(* (* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (cbrt (+ a (* b c)))) (* i c))

simplify1.2s

Counts
105 → 105
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01812490
15412427
220551840
done50011699

prune433.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.0b

localize27.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (+ a (* b c)))
1.5b
(cbrt (+ a (* b c)))
1.5b
(cbrt (+ a (* b c)))
2.1b
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
30×flip3-+ flip-+
28×frac-times
25×pow1 add-exp-log
15×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 93
Calls
4 calls:
3.0ms
(cbrt (+ a (* b c)))
3.0ms
(cbrt (+ a (* b c)))
3.0ms
(cbrt (+ a (* b c)))
127.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))

series483.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(cbrt (+ a (* b c)))
139.0ms
(cbrt (+ a (* b c)))
127.0ms
(cbrt (+ a (* b c)))
93.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))

simplify969.0ms

Counts
105 → 105
Iterations

Useful iterations: done (965.0ms)

IterNodesCost
01692969
15112819
219072303
done50002078

prune539.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes759.0ms

Accuracy

22.7% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 2.3b

bsearch137.0ms

Steps
ItersRangePoint
8
3.0889110373792097e-233
7.452783590444651e-230
1.5930637462752393e-232
2
-7.831506843624591e-190
-6.720118387818707e-190
-7.692583286648856e-190

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
042113
162113
done62113

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.5s15170×body80valid