Details

Time bar (total: 2.2s)

sample22.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify125.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
0469812
1469812

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.3b

Counts
2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.0b
(* 1.1283791670955126 (exp z))
1.0b
(- (* 1.1283791670955126 (exp z)) (* x y))
8.7b
(/ 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:
13.0ms
(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
5.0ms
(* 1.1283791670955126 (exp z))
5.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms
(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series49.0ms

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

simplify51.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
054251005

prune116.0ms

Filtered
66 candidates to 83 candidates (-25.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New80383
Fresh000
Picked011
Done000
Total80484

Merged error: 0b

Counts
84 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×*-un-lft-identity
19×add-cube-cbrt times-frac
13×associate-*l*
10×add-exp-log add-cbrt-cube
6×pow1
5×add-log-exp
3×div-exp associate-*r* associate-/r* div-inv associate-/l*
2×cbrt-undiv prod-exp associate-/r/ cbrt-unprod distribute-lft-out unswap-sqr
1×+-commutative rec-exp flip3-- pow-flip frac-2neg flip3-+ 1-exp pow-prod-down associate-*l/ clear-num sum-log *-commutative flip-- flip-+ inv-pow
Counts
3 → 78
Calls
3 calls:
12.0ms
(+ x (/ 1 (- (* (/ 1.1283791670955126 y) (exp z)) x)))
7.0ms
(* (/ 1.1283791670955126 y) (exp z))
9.0ms
(/ 1 (- (* (/ 1.1283791670955126 y) (exp z)) x))

series36.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(+ x (/ 1 (- (* (/ 1.1283791670955126 y) (exp z)) x)))
6.0ms
(* (/ 1.1283791670955126 y) (exp z))
19.0ms
(/ 1 (- (* (/ 1.1283791670955126 y) (exp z)) x))

simplify47.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049481005
149481005

prune102.0ms

Filtered
64 candidates to 87 candidates (-35.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New87087
Fresh022
Picked011
Done011
Total87491

Merged error: 0b

Counts
91 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))
4.6b
(* y (* y (* x x)))
6.5b
(* y (* x x))
18.4b
(* (/ y (- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))) (+ (* 1.1283791670955126 (exp z)) (* x y)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log add-cbrt-cube
21×associate-*l*
20×pow1 add-sqr-sqrt
14×add-cube-cbrt *-un-lft-identity
11×prod-exp cbrt-unprod
10×times-frac pow-prod-down
6×add-log-exp
5×associate-*r*
3×*-commutative unswap-sqr
2×frac-times flip3-- flip3-+ associate-*r/ associate-/r/ flip-- flip-+
1×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in diff-log div-exp associate-*l/ div-inv
Counts
4 → 92
Calls
4 calls:
7.0ms
(- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))
7.0ms
(* y (* y (* x x)))
6.0ms
(* y (* x x))
17.0ms
(* (/ y (- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))) (+ (* 1.1283791670955126 (exp z)) (* x y)))

series80.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))
7.0ms
(* y (* y (* x x)))
7.0ms
(* y (* x x))
38.0ms
(* (/ y (- (* 1.1283791670955126 (* 1.1283791670955126 (pow (exp z) 2))) (* y (* y (* x x))))) (+ (* 1.1283791670955126 (exp z)) (* x y)))

simplify32.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
049761563
149761563

prune141.0ms

Filtered
71 candidates to 104 candidates (-46.5%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1040104
Fresh011
Picked011
Done022
Total1044108

Merged error: 0b

Counts
108 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1.1283791670955126 (exp z))
1.0b
(- (* 1.1283791670955126 (exp z)) (* y x))
2.6b
(/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x)))
2.9b
(* (sqrt y) (/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
36×add-cube-cbrt *-un-lft-identity
29×sqrt-prod
27×associate-*r*
13×add-cbrt-cube
12×add-exp-log
9×associate-*l*
8×pow1
7×unswap-sqr
6×associate-/l* add-log-exp
4×associate-/r/
3×flip3-- prod-exp associate-/r* flip-- cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down *-commutative div-inv
1×sub-neg frac-2neg diff-log associate-*r/ clear-num
Counts
4 → 121
Calls
4 calls:
5.0ms
(* 1.1283791670955126 (exp z))
5.0ms
(- (* 1.1283791670955126 (exp z)) (* y x))
7.0ms
(/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x)))
17.0ms
(* (sqrt y) (/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x))))

series71.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(* 1.1283791670955126 (exp z))
14.0ms
(- (* 1.1283791670955126 (exp z)) (* y x))
28.0ms
(/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x)))
27.0ms
(* (sqrt y) (/ (sqrt y) (- (* 1.1283791670955126 (exp z)) (* y x))))

simplify60.0ms

Algorithm
egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049471896
149471896

prune135.0ms

Filtered
92 candidates to 133 candidates (-44.6%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1330133
Fresh000
Picked011
Done033
Total1334137

Merged error: 0b

Counts
137 → 4

regimes338.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02312
12312

end0.0ms

sample595.0ms

Algorithm
intervals
Results
311.0ms8000×body80valid

Profiling

Loading profile data...