Details

Time bar (total: 3.7s)

sample94.0ms

Algorithm
intervals
Results
43.0ms881×body80nan
13.0ms256×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03810
112210
250910
3223710
4500110

prune3.0ms

Filtered
1 candidates to 0 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 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (/ x (* y 27.0)))
1.0b
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
8.0b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
20×*-commutative
17×associate-*l/
15×associate-*r/
12×times-frac associate-/l/
10×associate-/r* div-inv
9×clear-num
8×associate-*l*
7×associate-*r*
6×frac-2neg associate-/l*
3×un-div-inv
Counts
4 → 55
Calls
4 calls:
4.0ms
(* 3.0 (/ x (* y 27.0)))
3.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
9.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
7.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series157.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0297269
11322265
25001256

prune216.0ms

Filtered
67 candidates to 56 candidates (83.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New66167
Fresh000
Picked011
Done000
Total66268

Merged error: 1.0b

Counts
68 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (/ x (* y 27.0)))
1.0b
(/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
8.0b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
20×*-commutative
15×associate-*r/
14×associate-*l/
12×times-frac associate-/l/
10×associate-/r* div-inv
9×clear-num
8×associate-/l*
7×associate-*r* associate-*l*
6×frac-2neg
3×un-div-inv
Counts
4 → 55
Calls
4 calls:
4.0ms
(* 3.0 (/ x (* y 27.0)))
3.0ms
(/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
9.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
7.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series160.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* 3.0 (/ x (* y 27.0)))
15.0ms
(/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
94.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
27.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify42.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0297265
11294261
25002252

prune218.0ms

Filtered
67 candidates to 56 candidates (83.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New67067
Fresh000
Picked011
Done011
Total67269

Merged error: 1.0b

Counts
69 → 2

regimes236.0ms

Accuracy

0% (0.0b remaining)

Error of 1.3b against oracle of 1.3b and baseline of 1.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02310
12310

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s23941×body80nan
420.0ms8000×body80valid