Details

Time bar (total: 2.6s)

sample28.0ms

Algorithm
intervals
Results
20.0ms367×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0133
1323
2663
3923
41003
51003

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* x (- x y)) 2.0)
0.0b
(* x (- x y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
8×associate-*r*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
14.0ms
(* (* x (- x y)) 2.0)
9.0ms
(* x (- x y))

series85.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(* (* x (- x y)) 2.0)
36.0ms
(* x (- x y))

simplify34.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0190211
1920176
25002176

prune68.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (* (- x y) 2.0))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r/ associate-*l/
1×flip3-- associate-*r* *-commutative flip-- add-log-exp
Counts
1 → 20
Calls
1 calls:
15.0ms
(* x (* (- x y) 2.0))

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(* x (* (- x y) 2.0))

simplify79.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0140109
154487
2304087
3500387

prune33.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- x y))
0.1b
(* (sqrt (* x (- x y))) (sqrt (* x (- x y))))
5.1b
(sqrt (* x (- x y)))
5.1b
(sqrt (* x (- x y)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
61×pow1
32×sqrt-pow1
23×pow-prod-down
20×associate-*r/
16×add-sqr-sqrt sqrt-div
12×*-un-lft-identity pow1/2
10×add-cube-cbrt pow-prod-up
9×flip3-- associate-*r* flip--
8×add-exp-log add-cbrt-cube
7×associate-*l*
6×sqrt-prod pow-sqr
4×frac-times swap-sqr add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow2 pow-plus sqrt-unprod rem-square-sqrt distribute-lft-out-- difference-of-squares
Counts
4 → 109
Calls
4 calls:
12.0ms
(* x (- x y))
26.0ms
(* (sqrt (* x (- x y))) (sqrt (* x (- x y))))
3.0ms
(sqrt (* x (- x y)))
3.0ms
(sqrt (* x (- x y)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* x (- x y))
37.0ms
(* (sqrt (* x (- x y))) (sqrt (* x (- x y))))
63.0ms
(sqrt (* x (- x y)))
61.0ms
(sqrt (* x (- x y)))

simplify50.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0242507
11103458
25001439

prune204.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- x y))
0.3b
(* (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)))
5.1b
(sqrt (* (* x (- x y)) 2.0))
5.1b
(sqrt (* (* x (- x y)) 2.0))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
145×pow1
78×pow-prod-down
66×sqrt-pow1
20×associate-*r/
18×associate-*l/
17×pow-prod-up
16×add-sqr-sqrt sqrt-div
14×pow1/2
12×*-un-lft-identity
11×pow-sqr
10×add-cube-cbrt
9×flip3-- associate-*r* flip--
8×add-exp-log add-cbrt-cube
7×associate-*l*
6×sqrt-prod
4×frac-times swap-sqr add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow2 pow-plus sqrt-unprod rem-square-sqrt distribute-lft-out-- difference-of-squares
Counts
4 → 128
Calls
4 calls:
10.0ms
(* x (- x y))
88.0ms
(* (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)))
11.0ms
(sqrt (* (* x (- x y)) 2.0))
12.0ms
(sqrt (* (* x (- x y)) 2.0))

series455.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* x (- x y))
118.0ms
(* (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)))
149.0ms
(sqrt (* (* x (- x y)) 2.0))
149.0ms
(sqrt (* (* x (- x y)) 2.0))

simplify57.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0300704
11405621
25002579

prune203.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes26.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 (0.0ms)

IterNodesCost
083
183

end0.0ms

sample788.0ms

Algorithm
intervals
Results
608.0ms11168×body80valid