Details

Time bar (total: 2.8s)

analyze5.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50.1%13
49.9%0%50.1%14

sample35.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify192.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (190.0ms)

IterNodesCost
0236419
1236419

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt 2.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0)))
0.0b
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0))
0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.2b
(* 3.0 (* v v))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
23×add-exp-log add-cbrt-cube
18×add-cube-cbrt *-un-lft-identity associate-*r*
17×pow1
15×associate-*l*
14×times-frac
11×sqrt-prod
10×sqrt-div prod-exp cbrt-unprod
7×associate-*r/ pow-prod-down
5×flip3-- flip-- unswap-sqr
4×frac-times associate-*l/ add-log-exp
3×*-commutative difference-of-squares
2×cbrt-undiv div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 106
Calls
4 calls:
15.0ms
(* (sqrt 2.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0)))
11.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0))
3.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
6.0ms
(* 3.0 (* v v))

series34.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (sqrt 2.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0)))
11.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (/ (- 1.0 (* v v)) 4.0))
5.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
4.0ms
(* 3.0 (* v v))

simplify36.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050652096

prune230.0ms

Filtered
86 candidates to 118 candidates (-37.2%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1153118
Fresh000
Picked101
Done000
Total1163119

Merged error: 0b

Counts
119 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0))
0.0b
(* (sqrt 2.0) (* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0)))
0.0b
(pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)
0.2b
(* 3.0 (* v v))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
30×cbrt-prod associate-*l*
26×add-cube-cbrt *-un-lft-identity
24×add-exp-log
20×add-cbrt-cube
19×times-frac sqrt-prod
18×pow1 associate-*r*
16×unpow-prod-down cube-prod
15×unswap-sqr
10×cube-div sqrt-div prod-exp cbrt-unprod
8×cbrt-div
7×associate-*r/ pow-prod-down
5×flip3-- flip--
4×frac-times associate-*l/ add-log-exp sqr-pow
3×pow-unpow pow-pow *-commutative difference-of-squares
2×cbrt-undiv cube-mult unpow3 div-exp
1×pow-to-exp sqrt-pow1 pow1/2 pow-exp sqrt-pow2 div-inv rem-cube-cbrt
Counts
4 → 150
Calls
4 calls:
17.0ms
(* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0))
14.0ms
(* (sqrt 2.0) (* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0)))
7.0ms
(pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)
6.0ms
(* 3.0 (* v v))

series41.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0))
15.0ms
(* (sqrt 2.0) (* (cbrt (pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)) (/ (- 1.0 (* v v)) 4.0)))
9.0ms
(pow (sqrt (- 1.0 (* 3.0 (* v v)))) 3)
3.0ms
(* 3.0 (* v v))

simplify48.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
050632982

prune308.0ms

Filtered
104 candidates to 162 candidates (-55.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1620162
Fresh022
Picked011
Done000
Total1623165

Merged error: 0b

Counts
165 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0))
0.0b
(* (sqrt 2.0) (* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0)))
0.0b
(sqrt (- 1.0 (log (pow (exp 3.0) (* v v)))))
10.6b
(log (pow (exp 3.0) (* v v)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
23×*-un-lft-identity
19×add-exp-log add-cube-cbrt
18×add-cbrt-cube
17×associate-*r*
15×sqrt-prod
14×times-frac associate-*l*
12×pow1
10×sqrt-div
7×log-prod associate-*r/ prod-exp cbrt-unprod
5×flip3-- flip-- difference-of-squares
4×frac-times pow-prod-down associate-*l/ add-log-exp unswap-sqr
3×unpow-prod-down rem-log-exp
2×cbrt-undiv div-exp *-commutative distribute-lft-out--
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 pow-exp log-pow div-inv sqr-pow
Counts
4 → 109
Calls
4 calls:
12.0ms
(* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0))
13.0ms
(* (sqrt 2.0) (* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0)))
3.0ms
(sqrt (- 1.0 (log (pow (exp 3.0) (* v v)))))
3.0ms
(log (pow (exp 3.0) (* v v)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0))
49.0ms
(* (sqrt 2.0) (* (sqrt (- 1.0 (log (pow (exp 3.0) (* v v))))) (/ (- 1.0 (* v v)) 4.0)))
19.0ms
(sqrt (- 1.0 (log (pow (exp 3.0) (* v v)))))
33.0ms
(log (pow (exp 3.0) (* v v)))

simplify67.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049822060
149822060

prune238.0ms

Filtered
87 candidates to 121 candidates (-39.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh011
Picked011
Done011
Total1213124

Merged error: 0b

Counts
124 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (- 1.0 (* 3.0 (* v v))))
0.0b
(cbrt (- 1.0 (* 3.0 (* v v))))
0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×cbrt-prod associate-*l* pow-prod-down prod-exp cbrt-unprod
4×cbrt-div add-log-exp
2×flip3-- pow1/3 associate-*r* *-commutative flip-- unswap-sqr
Counts
4 → 64
Calls
4 calls:
3.0ms
(cbrt (- 1.0 (* 3.0 (* v v))))
3.0ms
(cbrt (- 1.0 (* 3.0 (* v v))))
6.0ms
(* 3.0 (* v v))
6.0ms
(* 3.0 (* v v))

series37.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(cbrt (- 1.0 (* 3.0 (* v v))))
17.0ms
(cbrt (- 1.0 (* 3.0 (* v v))))
3.0ms
(* 3.0 (* v v))
3.0ms
(* 3.0 (* v v))

simplify40.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
05100842

prune173.0ms

Filtered
54 candidates to 76 candidates (-40.7%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New76076
Fresh000
Picked011
Done022
Total76379

Merged error: 0b

Counts
79 → 3

regimes61.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05622
15622

end0.0ms

sample897.0ms

Algorithm
intervals
Results
370.0ms8000×body80valid

Profiling

Loading profile data...