Details

Time bar (total: 6.0s)

analyze882.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
0%99.8%0.2%7
0%99.8%0.2%8
3.1%71.7%25.1%9
4.7%69.8%25.5%10
7%66.9%26.1%11
10.9%61.5%27.6%12
11.1%47%41.9%13
12.8%44.4%42.8%14

sample63.0ms

Algorithm
intervals
Results
23.0ms366×body80nan
17.0ms256×body80valid

simplify197.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (195.0ms)

IterNodesCost
0520719

prune13.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.0b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(* y (* 27.0 (* z 2.0)))
1.0b
(/ (acos (* 3.0 (* x (/ (sqrt t) (* y (* 27.0 (* z 2.0))))))) 3.0)
4.1b
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
5.2b
(* x (/ (sqrt t) (* y (* 27.0 (* z 2.0)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log add-cbrt-cube
23×add-sqr-sqrt prod-exp cbrt-unprod
21×add-cube-cbrt *-un-lft-identity times-frac
15×pow1
11×associate-*r*
9×cbrt-undiv div-exp sqrt-prod associate-/l*
7×pow-prod-down
6×associate-*l*
4×associate-/r* add-log-exp
3×div-inv
2×frac-2neg clear-num *-commutative
1×acos-asin div-sub associate-*r/ unswap-sqr
Counts
4 → 114
Calls
4 calls:
6.0ms
(* y (* 27.0 (* z 2.0)))
3.0ms
(/ (acos (* 3.0 (* x (/ (sqrt t) (* y (* 27.0 (* z 2.0))))))) 3.0)
9.0ms
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
14.0ms
(* x (/ (sqrt t) (* y (* 27.0 (* z 2.0)))))

series42.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* y (* 27.0 (* z 2.0)))
8.0ms
(/ (acos (* 3.0 (* x (/ (sqrt t) (* y (* 27.0 (* z 2.0))))))) 3.0)
10.0ms
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
21.0ms
(* x (/ (sqrt t) (* y (* 27.0 (* z 2.0)))))

simplify79.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049761780
149761780

prune169.0ms

Filtered
81 candidates to 126 candidates (-55.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1251126
Fresh011
Picked011
Done000
Total1253128

Merged error: 0.0b

Counts
128 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0)
0.5b
(* y (* 27.0 (* z 2.0)))
4.1b
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
5.2b
(* x (* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
74×add-exp-log add-cbrt-cube
40×prod-exp cbrt-unprod
20×pow1
16×add-sqr-sqrt associate-*l*
14×add-cube-cbrt *-un-lft-identity
12×cbrt-undiv times-frac div-exp
10×pow-prod-down
9×sqrt-prod
6×associate-/l*
5×associate-*r*
4×add-log-exp
3×*-commutative
2×associate-*l/ div-inv
1×frac-2neg associate-*r/ clear-num associate-/r* unswap-sqr
Counts
4 → 113
Calls
4 calls:
11.0ms
(* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0)
7.0ms
(* y (* 27.0 (* z 2.0)))
9.0ms
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
13.0ms
(* x (* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0))

series47.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0)
3.0ms
(* y (* 27.0 (* z 2.0)))
10.0ms
(/ (sqrt t) (* y (* 27.0 (* z 2.0))))
24.0ms
(* x (* (/ (sqrt t) (* y (* 27.0 (* z 2.0)))) 3.0))

simplify44.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050391527

prune203.0ms

Filtered
70 candidates to 125 candidates (-78.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1241125
Fresh011
Picked011
Done011
Total1244128

Merged error: 0b

Counts
128 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt t) y)
0.2b
(* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0)
3.5b
(/ (/ (sqrt t) y) (* 27.0 (* z 2.0)))
5.2b
(* x (* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
116×times-frac
94×add-exp-log add-cbrt-cube
63×add-sqr-sqrt
61×add-cube-cbrt *-un-lft-identity
40×prod-exp cbrt-unprod
39×sqrt-prod
29×associate-*l*
28×cbrt-undiv div-exp associate-/l*
11×pow1
6×div-inv
4×associate-*r* pow-prod-down associate-/r* add-log-exp
2×frac-2neg associate-*l/ clear-num *-commutative
1×associate-*r/ associate-/l/ unswap-sqr
Counts
4 → 192
Calls
4 calls:
4.0ms
(/ (sqrt t) y)
14.0ms
(* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0)
10.0ms
(/ (/ (sqrt t) y) (* 27.0 (* z 2.0)))
14.0ms
(* x (* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0))

series50.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ (sqrt t) y)
10.0ms
(* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0)
10.0ms
(/ (/ (sqrt t) y) (* 27.0 (* z 2.0)))
21.0ms
(* x (* (/ (/ (sqrt t) y) (* 27.0 (* z 2.0))) 3.0))

simplify56.0ms

Algorithm
egg-herbie
Counts
204 → 204
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049972528
149972528

prune360.0ms

Filtered
130 candidates to 204 candidates (-56.9%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2040204
Fresh011
Picked011
Done022
Total2044208

Merged error: 0b

Counts
208 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ x (* y 27.0))
1.0b
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
4.4b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
7.7b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
88×add-exp-log add-cbrt-cube
36×prod-exp cbrt-unprod
27×cbrt-undiv div-exp
26×add-sqr-sqrt
18×associate-*l*
17×add-cube-cbrt *-un-lft-identity
15×times-frac
9×associate-*r*
8×pow1
4×sqrt-prod div-inv associate-/l* add-log-exp unswap-sqr
2×frac-2neg pow-prod-down associate-*l/ clear-num associate-/r* *-commutative
1×associate-*r/ associate-/l/
Counts
4 → 124
Calls
4 calls:
4.0ms
(/ x (* y 27.0))
6.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
14.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
9.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series35.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ x (* y 27.0))
8.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
18.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
6.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify59.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049981946
149981946

prune151.0ms

Filtered
82 candidates to 136 candidates (-65.9%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1360136
Fresh000
Picked011
Done033
Total1364140

Merged error: 0b

Counts
140 → 4

regimes804.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03128
13128

end0.0ms

analyze875.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
0%99.8%0.2%7
0%99.8%0.2%8
3.1%71.7%25.1%9
4.7%69.8%25.5%10
7%66.9%26.1%11
10.9%61.5%27.6%12
11.1%47%41.9%13
12.8%44.4%42.8%14

sample1.6s

Algorithm
intervals
Results
644.0ms10183×body80nan
533.0ms8000×body80valid

Profiling

Loading profile data...