Details

Time bar (total: 2.0s)

sample25.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0156
1226
2226

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.3b

Counts
2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1.1283791670955126 (exp z))
0.0b
(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
1.4b
(- (* 1.1283791670955126 (exp z)) (* x y))
7.1b
(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
14×add-cube-cbrt
9×times-frac
8×add-cbrt-cube add-log-exp
7×add-exp-log
6×pow1
3×associate-*r* associate-*l* associate-/r* associate-/l*
2×flip3-- associate-/r/ flip--
1×cbrt-undiv +-commutative sub-neg frac-2neg flip3-+ diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod flip-+ div-inv distribute-lft-out unswap-sqr
Counts
4 → 71
Calls
4 calls:
5.0ms
(* 1.1283791670955126 (exp z))
9.0ms
(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
8.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms
(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series47.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(* 1.1283791670955126 (exp z))
12.0ms
(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
11.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
21.0ms
(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify41.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0329592
11175552
25001551

prune118.0ms

Filtered
63 candidates to 83 candidates (-31.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New79483
Fresh000
Picked101
Done000
Total80484

Merged error: 0b

Counts
84 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
0.1b
(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
1.4b
(- (* 1.1283791670955126 (exp z)) (* x y))
7.1b
(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
57×*-un-lft-identity
54×add-sqr-sqrt add-cube-cbrt
17×add-exp-log
16×associate-/r*
11×add-cbrt-cube
8×div-exp add-log-exp
7×div-inv
6×associate-/l*
5×pow1
4×cbrt-undiv
2×rec-exp flip3-- frac-2neg 1-exp clear-num flip-- associate-/l/ distribute-lft-out
1×+-commutative sub-neg pow-flip flip3-+ diff-log div-sub sum-log associate-/r/ flip-+ inv-pow
Counts
4 → 131
Calls
4 calls:
14.0ms
(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
8.0ms
(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
5.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
7.0ms
(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

series59.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
15.0ms
(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
14.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
16.0ms
(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

simplify67.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
05451467
124391263
250011253

prune134.0ms

Filtered
86 candidates to 143 candidates (-66.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1430143
Fresh033
Picked011
Done000
Total1434147

Merged error: 0b

Counts
147 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
0.5b
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
1.4b
(- (* 1.1283791670955126 (exp z)) (* x y))
7.0b
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×add-cube-cbrt times-frac
17×add-exp-log
15×associate-*r*
11×add-cbrt-cube
8×add-log-exp
7×pow1
4×div-exp prod-exp associate-/r/
3×flip3-- associate-*l* associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod div-inv
1×+-commutative sub-neg pow-flip frac-2neg flip3-+ diff-log associate-*r/ pow-prod-down clear-num sum-log un-div-inv *-commutative flip-+ inv-pow
Counts
4 → 94
Calls
4 calls:
3.0ms
(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
6.0ms
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
5.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
11.0ms
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series65.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
17.0ms
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
11.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
22.0ms
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify56.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0422884
11863788
25001756

prune111.0ms

Filtered
69 candidates to 106 candidates (-53.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1060106
Fresh022
Picked011
Done011
Total1064110

Merged error: 0b

Counts
110 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))))
0.0b
(+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))
0.1b
(* 0.5641895835477563 (pow z 2))
4.4b
(/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
11×add-exp-log add-log-exp
9×times-frac
8×associate-*r* add-cbrt-cube
4×pow1 unpow-prod-down sum-log unswap-sqr
3×flip3-+ associate-*l* prod-exp associate-/r* flip-+ associate-/l*
2×+-commutative associate-/r/ unpow2 sqr-pow
1×cbrt-undiv pow-to-exp associate-+r+ frac-2neg div-exp pow-exp clear-num *-commutative cbrt-unprod div-inv distribute-lft-out
Counts
4 → 81
Calls
4 calls:
11.0ms
(+ x (/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))))
7.0ms
(+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))
6.0ms
(* 0.5641895835477563 (pow z 2))
8.0ms
(/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ x (/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))))
3.0ms
(+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126))
3.0ms
(* 0.5641895835477563 (pow z 2))
17.0ms
(/ y (+ (* 1.1283791670955126 z) (+ (* 0.5641895835477563 (pow z 2)) 1.1283791670955126)))

simplify49.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0401711
11508655
25001653

prune131.0ms

Filtered
67 candidates to 93 candidates (-38.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New93093
Fresh011
Picked011
Done022
Total93497

Merged error: 0b

Counts
97 → 4

regimes281.0ms

Accuracy

62.6% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 2.8b

bsearch37.0ms

Steps
ItersRangePoint
8
7.945212253336292e+105
1.641891722724294e+109
1.1388252118594243e+108
7
-3.3455275469506264e+35
-4.5257064183852224e+33
-4.589226051129527e+33

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03916
13916

end0.0ms

sample549.0ms

Algorithm
intervals
Results
310.0ms8000×body80valid

Profiling

Loading profile data...