Details

Time bar (total: 3.2s)

analyze694.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
3.1%96.7%0.2%7
6.2%93.6%0.2%8
8.6%91.2%0.2%9
28.1%71.7%0.2%10
31%68.8%0.2%11
40.5%59.3%0.2%12
49.6%50.2%0.2%13
59%40.8%0.2%14

sample26.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
0.0ms9×body80invalid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0515317

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 7.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.0b
(- (* t z) x)
0.5b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.1b
(/ (- (* y z) x) (- (* t z) x))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
3×div-sub
2×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp clear-num flip-+ div-inv
1×associate-+r-
Counts
4 → 95
Calls
4 calls:
4.0ms
(- (* y z) x)
4.0ms
(- (* t z) x)
15.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
9.0ms
(/ (- (* y z) x) (- (* t z) x))

series69.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* y z) x)
8.0ms
(- (* t z) x)
36.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
17.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify74.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
050231777

prune139.0ms

Filtered
81 candidates to 107 candidates (-32.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1025107
Fresh000
Picked011
Done000
Total1026108

Merged error: 0.5b

Counts
108 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (+ x (* z (/ y (- (* z t) x)))) (+ x 1.0))
2.9b
(/ y (- (* z t) x))
8.0b
(* z (/ y (- (* z t) x)))
15.4b
(/ x (* (- (* z t) x) (+ x 1.0)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
36×add-sqr-sqrt
34×times-frac
31×add-cube-cbrt
18×add-exp-log add-cbrt-cube
15×associate-*r*
14×associate-/r/
9×associate-/l*
8×associate-/r*
6×pow1
5×cbrt-undiv flip3-- flip3-+ div-exp flip-- flip-+
4×frac-times div-inv distribute-lft-out add-log-exp
3×frac-2neg associate-*r/ associate-*l* prod-exp clear-num cbrt-unprod
2×associate-*l/ associate-/l/ unswap-sqr
1×pow-prod-down *-commutative
Counts
4 → 127
Calls
4 calls:
12.0ms
(/ (+ x (* z (/ y (- (* z t) x)))) (+ x 1.0))
9.0ms
(/ y (- (* z t) x))
16.0ms
(* z (/ y (- (* z t) x)))
16.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

series120.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(/ (+ x (* z (/ y (- (* z t) x)))) (+ x 1.0))
19.0ms
(/ y (- (* z t) x))
26.0ms
(* z (/ y (- (* z t) x)))
34.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

simplify39.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
053081934

prune168.0ms

Filtered
105 candidates to 139 candidates (-32.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1372139
Fresh044
Picked101
Done011
Total1387145

Merged error: 0.5b

Counts
145 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (+ x (* z (* y (/ 1 (- (* z t) x))))) (+ x 1.0))
2.8b
(* y (/ 1 (- (* z t) x)))
8.0b
(* z (* y (/ 1 (- (* z t) x))))
15.4b
(/ x (* (- (* z t) x) (+ x 1.0)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
35×add-exp-log
33×*-un-lft-identity
31×add-sqr-sqrt
26×times-frac
25×add-cbrt-cube
24×add-cube-cbrt
16×associate-*r*
14×prod-exp
12×associate-/r/
11×pow1
8×cbrt-unprod
7×div-exp
6×associate-*r/ associate-*l* associate-/l*
5×cbrt-undiv flip3-+ associate-/r* flip-+
4×frac-times flip3-- pow-prod-down flip-- distribute-lft-out add-log-exp
3×div-inv unswap-sqr
2×rec-exp frac-2neg 1-exp associate-*l/ clear-num un-div-inv *-commutative associate-/l/
Counts
4 → 126
Calls
4 calls:
7.0ms
(/ (+ x (* z (* y (/ 1 (- (* z t) x))))) (+ x 1.0))
10.0ms
(* y (/ 1 (- (* z t) x)))
10.0ms
(* z (* y (/ 1 (- (* z t) x))))
10.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

series68.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ (+ x (* z (* y (/ 1 (- (* z t) x))))) (+ x 1.0))
10.0ms
(* y (/ 1 (- (* z t) x)))
15.0ms
(* z (* y (/ 1 (- (* z t) x))))
21.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

simplify32.0ms

Algorithm
egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
053371796

prune161.0ms

Filtered
96 candidates to 138 candidates (-43.8%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1380138
Fresh055
Picked011
Done011
Total1387145

Merged error: 0.5b

Counts
145 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

3.9b
(* (/ 1 (* (cbrt (- (* z t) x)) (cbrt (- (* z t) x)))) (/ (- (* y z) x) (cbrt (- (* z t) x))))
6.7b
(cbrt (- (* z t) x))
6.7b
(cbrt (- (* z t) x))
6.7b
(cbrt (- (* z t) x))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
20×cbrt-div prod-exp
18×add-cbrt-cube
15×div-exp associate-*l*
10×flip3-- associate-/r/ flip--
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv
6×pow1
5×frac-times
4×rec-exp 1-exp add-log-exp
3×pow1/3 associate-*r/ associate-*l/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 119
Calls
4 calls:
30.0ms
(* (/ 1 (* (cbrt (- (* z t) x)) (cbrt (- (* z t) x)))) (/ (- (* y z) x) (cbrt (- (* z t) x))))
4.0ms
(cbrt (- (* z t) x))
4.0ms
(cbrt (- (* z t) x))
4.0ms
(cbrt (- (* z t) x))

series116.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (/ 1 (* (cbrt (- (* z t) x)) (cbrt (- (* z t) x)))) (/ (- (* y z) x) (cbrt (- (* z t) x))))
31.0ms
(cbrt (- (* z t) x))
31.0ms
(cbrt (- (* z t) x))
34.0ms
(cbrt (- (* z t) x))

simplify48.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049682432
149682432

prune138.0ms

Filtered
100 candidates to 131 candidates (-31.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1310131
Fresh044
Picked011
Done022
Total1317138

Merged error: 0.5b

Counts
138 → 7

regimes375.0ms

Accuracy

31.3% (3.0b remaining)

Error of 3.3b against oracle of 0.3b and baseline of 4.7b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03646
13646

end0.0ms

sample628.0ms

Algorithm
intervals
Results
392.0ms8000×body80valid
16.0ms346×body80invalid

Profiling

Loading profile data...