Details

Time bar (total: 5.2s)

sample56.0ms

Algorithm
intervals
Results
27.0ms533×body80valid

simplify189.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0329
1779
22309
37359
419209
529949
633889
740789
850019

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.4b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(+ (* x y) (* z t))
0.1b
(* (+ a (* b c)) c)
8.3b
(* (* (+ a (* b c)) c) i)

rewrite24.0ms

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

series165.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ a (* b c))
33.0ms
(+ (* x y) (* z t))
46.0ms
(* (+ a (* b c)) c)
61.0ms
(* (* (+ a (* b c)) c) i)

simplify45.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0317375
11380320
25001316

prune237.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

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

series707.0ms

Counts
4 → 12
Calls
4 calls:
585.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
24.0ms
(+ a (* b c))
35.0ms
(+ (* x y) (* z t))
63.0ms
(* (+ a (* b c)) (* c i))

simplify56.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0404600
11775555
25003547

prune254.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* b c) (* b c))
0.9b
(- (* a a) (* (* b c) (* b c)))
11.4b
(* (- (* a a) (* (* b c) (* b c))) (* c i))
14.8b
(/ (* (- (* a a) (* (* b c) (* b c))) (* c i)) (- a (* b c)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
48×pow1
30×add-exp-log add-cbrt-cube
20×pow-prod-down
14×prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
5×associate-*l*
4×flip3-- associate-*l/ pow-sqr pow-prod-up flip--
3×cbrt-undiv times-frac div-exp associate-/r*
2×pow-plus associate-*r* associate-/r/ *-commutative associate-/l/ difference-of-squares
1×pow2 sub-neg frac-2neg diff-log swap-sqr clear-num div-inv associate-/l*
Counts
4 → 95
Calls
4 calls:
9.0ms
(* (* b c) (* b c))
3.0ms
(- (* a a) (* (* b c) (* b c)))
13.0ms
(* (- (* a a) (* (* b c) (* b c))) (* c i))
12.0ms
(/ (* (- (* a a) (* (* b c) (* b c))) (* c i)) (- a (* b c)))

series321.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* b c) (* b c))
79.0ms
(- (* a a) (* (* b c) (* b c)))
100.0ms
(* (- (* a a) (* (* b c) (* b c))) (* c i))
111.0ms
(/ (* (- (* a a) (* (* b c) (* b c))) (* c i)) (- a (* b c)))

simplify69.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0437845
12516680
25001679

prune324.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.5b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (* z t))
5.0b
(* a (* i c))
5.4b
(* b (pow c 2))
9.8b
(* i (* b (pow c 2)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
16×add-cbrt-cube
15×add-sqr-sqrt
13×prod-exp
11×pow1
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity associate-*l*
7×cbrt-unprod
6×add-log-exp
4×unpow-prod-down pow-prod-down unswap-sqr
3×*-commutative
2×pow-to-exp pow-exp unpow2 sqr-pow
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 75
Calls
4 calls:
2.0ms
(+ (* x y) (* z t))
6.0ms
(* a (* i c))
9.0ms
(* b (pow c 2))
8.0ms
(* i (* b (pow c 2)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ (* x y) (* z t))
26.0ms
(* a (* i c))
33.0ms
(* b (pow c 2))
55.0ms
(* i (* b (pow c 2)))

simplify47.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0342345
11378289
25001289

prune257.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes730.0ms

Accuracy

0% (1.3b remaining)

Error of 1.7b against oracle of 0.3b and baseline of 1.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0269
1269

end0.0ms

sample1.4s

Algorithm
intervals
Results
734.0ms15179×body80valid