Details

Time bar (total: 3.7s)

sample33.0ms

Algorithm
intervals
Results
13.0ms343×body80valid

simplify80.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0348
1838
22208
33848
44558
55638
65868
76778
89028
913228
1013228

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b
(* (* y 9.0) z)
0.3b
(* (* a 27.0) b)
5.8b
(* (* (* y 9.0) z) t)

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×associate-*l* *-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
8.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
19.0ms
(* (* y 9.0) z)
17.0ms
(* (* a 27.0) b)
55.0ms
(* (* (* y 9.0) z) t)

series139.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
21.0ms
(* (* y 9.0) z)
20.0ms
(* (* a 27.0) b)
27.0ms
(* (* (* y 9.0) z) t)

simplify58.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0348371
11755309
25001309

prune191.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b
(* (* y 9.0) z)
0.2b
(* a (* 27.0 b))
5.8b
(* (* (* y 9.0) z) t)

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
6×add-log-exp
5×associate-*l*
3×*-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
8.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
17.0ms
(* (* y 9.0) z)
17.0ms
(* a (* 27.0 b))
55.0ms
(* (* (* y 9.0) z) t)

series135.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
20.0ms
(* (* y 9.0) z)
20.0ms
(* a (* 27.0 b))
27.0ms
(* (* (* y 9.0) z) t)

simplify52.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0341370
11617308
25001308

prune177.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b
(* (* y 9.0) z)
0.3b
(* 27.0 (* a b))
5.8b
(* (* (* y 9.0) z) t)

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
6×add-log-exp
5×associate-*l*
3×*-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
8.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
18.0ms
(* (* y 9.0) z)
17.0ms
(* 27.0 (* a b))
55.0ms
(* (* (* y 9.0) z) t)

series136.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
18.0ms
(* (* y 9.0) z)
23.0ms
(* 27.0 (* a b))
27.0ms
(* (* (* y 9.0) z) t)

simplify73.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0336370
11577308
25001308

prune182.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* y 9.0) z)
0.2b
(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
0.3b
(* (sqrt 27.0) (* a b))
5.8b
(* (* (* y 9.0) z) t)

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1 add-exp-log add-cbrt-cube
18×pow-prod-down prod-exp cbrt-unprod
14×associate-*l*
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×sqrt-prod
4×*-commutative add-log-exp
Counts
4 → 84
Calls
4 calls:
18.0ms
(* (* y 9.0) z)
47.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
21.0ms
(* (sqrt 27.0) (* a b))
55.0ms
(* (* (* y 9.0) z) t)

series159.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (* y 9.0) z)
73.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
42.0ms
(* (sqrt 27.0) (* a b))
27.0ms
(* (* (* y 9.0) z) t)

simplify53.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0335427
11644332
25001332

prune197.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes479.0ms

Accuracy

66.7% (1.1b remaining)

Error of 1.2b against oracle of 0.1b and baseline of 3.5b

bsearch150.0ms

Steps
ItersRangePoint
9
3.456192179158273e-162
1.7882440244072124e-153
1.381515748580756e-154
9
-1.0550839508091008e-58
-2.2252316460309366e-66
-6.783546124099399e-59

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04416
14416

end0.0ms

sample928.0ms

Algorithm
intervals
Results
430.0ms11011×body80valid