Details

Time bar (total: 6.1s)

sample85.0ms

Algorithm
intervals
Results
29.0ms477×body80valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0153919
1153919

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.6b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

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

series442.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(+ (* x y) (* z t))
402.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
14.0ms
(* (+ a (* b c)) c)
17.0ms
(* (* (+ a (* b c)) c) i)

simplify29.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
049851215
149851215

prune151.0ms

Filtered
61 candidates to 81 candidates (-32.8%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New711081
Fresh011
Picked101
Done000
Total721183

Merged error: 0.5b

Counts
83 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.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:
2.0ms
(+ a (* b c))
3.0ms
(+ (* x y) (* z t))
8.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
6.0ms
(* (+ a (* b c)) (* c i))

series391.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ a (* b c))
13.0ms
(+ (* x y) (* z t))
354.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
17.0ms
(* (+ a (* b c)) (* c i))

simplify22.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
050941129

prune127.0ms

Filtered
51 candidates to 72 candidates (-41.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New70272
Fresh2810
Picked101
Done000
Total731083

Merged error: 0.5b

Counts
83 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (+ a (* b c)))
1.0b
(cbrt (+ a (* b c)))
2.0b
(* c (* i (cbrt (+ a (* b c)))))
3.1b
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* c (* i (cbrt (+ a (* b c))))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
48×associate-*r/
30×pow1 add-exp-log flip3-+ flip-+
28×frac-times
21×add-cbrt-cube
18×pow-prod-down prod-exp cbrt-unprod
14×associate-*l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×associate-*l* add-log-exp
2×pow1/3 associate-*r* *-commutative
Counts
4 → 100
Calls
4 calls:
2.0ms
(cbrt (+ a (* b c)))
2.0ms
(cbrt (+ a (* b c)))
6.0ms
(* c (* i (cbrt (+ a (* b c)))))
16.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* c (* i (cbrt (+ a (* b c))))))

series113.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(cbrt (+ a (* b c)))
28.0ms
(cbrt (+ a (* b c)))
37.0ms
(* c (* i (cbrt (+ a (* b c)))))
19.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* c (* i (cbrt (+ a (* b c))))))

simplify60.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049912007
149912007

prune159.0ms

Filtered
69 candidates to 112 candidates (-62.3%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1120112
Fresh099
Picked011
Done000
Total11210122

Merged error: 0.5b

Counts
122 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt i)
0.7b
(* (+ a (* b c)) (* (cbrt i) (cbrt i)))
2.0b
(* (* c (* (+ a (* b c)) (* (cbrt i) (cbrt i)))) (cbrt i))
3.1b
(* c (* (+ a (* b c)) (* (cbrt i) (cbrt i))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1 add-exp-log
22×add-cbrt-cube
19×pow-prod-down prod-exp cbrt-unprod
10×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
8×associate-*r* associate-*l/
7×associate-*l*
6×cbrt-prod
4×associate-*r/ add-log-exp
3×flip3-+ *-commutative flip-+
1×pow1/3 unswap-sqr
Counts
4 → 84
Calls
4 calls:
1.0ms
(cbrt i)
8.0ms
(* (+ a (* b c)) (* (cbrt i) (cbrt i)))
13.0ms
(* (* c (* (+ a (* b c)) (* (cbrt i) (cbrt i)))) (cbrt i))
10.0ms
(* c (* (+ a (* b c)) (* (cbrt i) (cbrt i))))

series147.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt i)
49.0ms
(* (+ a (* b c)) (* (cbrt i) (cbrt i)))
19.0ms
(* (* c (* (+ a (* b c)) (* (cbrt i) (cbrt i)))) (cbrt i))
56.0ms
(* c (* (+ a (* b c)) (* (cbrt i) (cbrt i))))

simplify62.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04938955
14938955

prune96.0ms

Filtered
64 candidates to 96 candidates (-50.0%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New94296
Fresh178
Picked011
Done011
Total9511106

Merged error: 0.5b

Counts
106 → 11

regimes1.8s

Accuracy

62.9% (0.7b remaining)

Error of 1.6b against oracle of 0.9b and baseline of 2.8b

bsearch161.0ms

Steps
ItersRangePoint
8
5.096472575021197e+197
2.0677840992862176e+202
7.387088960346427e+199
8
129360436737603.39
4.20232113279021e+18
1.176419138377631e+16
9
-1.3659041281254597e+26
-1.0044774258070854e+18
-4.390460365680553e+23

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
059141
159141

end0.0ms

sample2.0s

Algorithm
intervals
Results
842.0ms15139×body80valid

Profiling

Loading profile data...