Details

Time bar (total: 6.6s)

sample73.0ms

Algorithm
intervals
Results
29.0ms490×body80valid

simplify49.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0153919
1153919

prune19.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: 1.6b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

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

series393.0ms

Counts
4 → 12
Calls
4 calls:
324.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
43.0ms
(- (* z t) (* c (* (+ a (* b c)) i)))
12.0ms
(* (+ a (* b c)) i)
13.0ms
(* c (* (+ a (* b c)) i))

simplify34.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
051221024

prune147.0ms

Filtered
60 candidates to 79 candidates (-31.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New70979
Fresh011
Picked101
Done000
Total711081

Merged error: 1.3b

Counts
81 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt c)
0.6b
(cbrt c)
3.3b
(* (+ a (* c b)) (* i (cbrt c)))
3.4b
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
21×add-cbrt-cube
18×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×associate-*l* associate-*l/ add-log-exp
2×flip3-+ pow1/3 associate-*r/ associate-*r* *-commutative flip-+
Counts
4 → 72
Calls
4 calls:
1.0ms
(cbrt c)
1.0ms
(cbrt c)
7.0ms
(* (+ a (* c b)) (* i (cbrt c)))
14.0ms
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

series117.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt c)
24.0ms
(cbrt c)
53.0ms
(* (+ a (* c b)) (* i (cbrt c)))
19.0ms
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

simplify45.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
04962687
14962687

prune136.0ms

Filtered
51 candidates to 84 candidates (-64.7%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New82284
Fresh099
Picked011
Done000
Total821294

Merged error: 1.3b

Counts
94 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow (cbrt c) 2)
0.6b
(cbrt c)
0.6b
(cbrt c)
5.9b
(* (* (pow (cbrt c) 2) (+ a (* c b))) (* i (cbrt c)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
18×prod-exp
14×add-cbrt-cube
10×pow1
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×cbrt-unprod
6×unpow-prod-down
4×add-log-exp
3×pow-to-exp pow-unpow pow1/3 pow-prod-down pow-exp
2×pow-pow associate-*r/ associate-*l/
1×flip3-+ associate-*r* associate-*l* *-commutative flip-+ unpow2 sqr-pow
Counts
4 → 70
Calls
4 calls:
3.0ms
(pow (cbrt c) 2)
1.0ms
(cbrt c)
1.0ms
(cbrt c)
11.0ms
(* (* (pow (cbrt c) 2) (+ a (* c b))) (* i (cbrt c)))

series90.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(pow (cbrt c) 2)
25.0ms
(cbrt c)
22.0ms
(cbrt c)
19.0ms
(* (* (pow (cbrt c) 2) (+ a (* c b))) (* i (cbrt c)))

simplify36.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05092588

prune148.0ms

Filtered
50 candidates to 82 candidates (-64.0%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New80282
Fresh1910
Picked011
Done011
Total811394

Merged error: 1.3b

Counts
94 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

5.4b
(* c (* (+ a (* c b)) i))
9.2b
(cbrt (* c (* (+ a (* c b)) i)))
9.2b
(cbrt (* c (* (+ a (* c b)) i)))
9.2b
(cbrt (* c (* (+ a (* c b)) i)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
8×associate-*r/ associate-*l/
6×cbrt-div
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×flip3-+ flip-+ add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 53
Calls
4 calls:
6.0ms
(* c (* (+ a (* c b)) i))
5.0ms
(cbrt (* c (* (+ a (* c b)) i)))
5.0ms
(cbrt (* c (* (+ a (* c b)) i)))
5.0ms
(cbrt (* c (* (+ a (* c b)) i)))

series151.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* c (* (+ a (* c b)) i))
46.0ms
(cbrt (* c (* (+ a (* c b)) i)))
44.0ms
(cbrt (* c (* (+ a (* c b)) i)))
48.0ms
(cbrt (* c (* (+ a (* c b)) i)))

simplify44.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
04940768
14940768

prune78.0ms

Filtered
53 candidates to 65 candidates (-22.6%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New65065
Fresh01010
Picked011
Done022
Total651378

Merged error: 1.3b

Counts
78 → 13

regimes2.8s

Accuracy

84.2% (0.6b remaining)

Error of 1.5b against oracle of 0.9b and baseline of 4.5b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
056119
156119

end0.0ms

sample2.1s

Algorithm
intervals
Results
882.0ms15054×body80valid

Profiling

Loading profile data...