Details

Time bar (total: 6.7s)

sample32.0ms

Algorithm
intervals
Results
13.0ms337×body80valid

simplify77.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11511
22511
33811
45611
57211
68511
79911
810511
910711
done10711

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.4b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(- (/ y z) (/ t (- 1.0 z)))
5.1b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*r/ associate-*l* flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
6.0ms
(/ t (- 1.0 z))
19.0ms
(- (/ y z) (/ t (- 1.0 z)))
23.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series35.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(/ t (- 1.0 z))
9.0ms
(- (/ y z) (/ t (- 1.0 z)))
20.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify1.1s

Counts
98 → 98
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01711300
13921245
29301169
324131153
done50001152

prune167.0ms

Filtered
71 candidates to 98 candidates (-38.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New861298
Fresh000
Picked101
Done000
Total871299

Merged error: 0.0b

Counts
99 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z)))))
3.3b
(/ (* x y) z)
3.4b
(* x (neg (/ t (- 1.0 z))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
56×*-un-lft-identity
48×times-frac
46×associate-*r*
36×add-cube-cbrt
21×distribute-lft-neg-in distribute-rgt-neg-in
13×add-exp-log add-cbrt-cube
10×distribute-lft-out-- difference-of-squares
8×associate-/r*
6×pow1 associate-/r/ add-log-exp
4×div-inv associate-/l*
3×cbrt-undiv flip3-- div-exp associate-*l* distribute-rgt-neg-out flip--
2×frac-2neg associate-*r/ prod-exp clear-num cbrt-unprod distribute-neg-frac
1×+-commutative neg-mul-1 flip3-+ unsub-neg pow-prod-down frac-add sum-log *-commutative flip-+ unswap-sqr
Counts
4 → 135
Calls
4 calls:
6.0ms
(/ t (- 1.0 z))
6.0ms
(+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z)))))
5.0ms
(/ (* x y) z)
15.0ms
(* x (neg (/ t (- 1.0 z))))

series45.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(/ t (- 1.0 z))
22.0ms
(+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z)))))
5.0ms
(/ (* x y) z)
12.0ms
(* x (neg (/ t (- 1.0 z))))

simplify767.0ms

Counts
147 → 147
Iterations

Useful iterations: done (764.0ms)

IterNodesCost
02541673
16261541
218921445
done50001442

prune214.0ms

Filtered
110 candidates to 147 candidates (-33.6%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1434147
Fresh4711
Picked101
Done000
Total14811159

Merged error: 0.0b

Counts
159 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
0.0b
(/ t (- 1.0 z))
3.4b
(* x (neg (/ t (- 1.0 z))))
3.4b
(* (* x y) (/ 1 z))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
61×*-un-lft-identity
59×associate-*r*
54×times-frac
41×add-cube-cbrt
30×add-exp-log
21×distribute-lft-neg-in distribute-rgt-neg-in
20×add-cbrt-cube
13×prod-exp
11×pow1
10×distribute-lft-out-- difference-of-squares
7×cbrt-unprod
6×associate-/r/ add-log-exp
5×associate-*r/ div-exp associate-/r*
4×associate-*l* pow-prod-down div-inv
3×cbrt-undiv flip3-- distribute-rgt-neg-out flip-- distribute-neg-frac associate-/l*
2×rec-exp 1-exp frac-add un-div-inv *-commutative
1×+-commutative neg-mul-1 frac-2neg flip3-+ unsub-neg clear-num sum-log flip-+ unswap-sqr
Counts
4 → 153
Calls
4 calls:
8.0ms
(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
6.0ms
(/ t (- 1.0 z))
15.0ms
(* x (neg (/ t (- 1.0 z))))
8.0ms
(* (* x y) (/ 1 z))

series45.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
6.0ms
(/ t (- 1.0 z))
15.0ms
(* x (neg (/ t (- 1.0 z))))
5.0ms
(* (* x y) (/ 1 z))

simplify964.0ms

Counts
165 → 165
Iterations

Useful iterations: done (959.0ms)

IterNodesCost
02901955
17661687
222641539
done50011525

prune224.0ms

Filtered
117 candidates to 165 candidates (-41.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1641165
Fresh01010
Picked011
Done000
Total16412176

Merged error: 0.0b

Counts
176 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 1 z))
0.6b
(cbrt (/ 1 z))
3.2b
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
3.4b
(* x (neg (/ t (- 1.0 z))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
50×*-un-lft-identity
48×times-frac
47×associate-*r*
38×add-cube-cbrt
26×cbrt-prod
21×distribute-lft-neg-in distribute-rgt-neg-in
18×pow1 add-exp-log
14×add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
6×cbrt-div distribute-lft-out-- difference-of-squares
5×associate-*r/
4×associate-*l* associate-/r/ div-inv add-log-exp
2×flip3-- pow1/3 *-commutative flip--
1×frac-times neg-mul-1 associate-*l/ distribute-rgt-neg-out distribute-neg-frac unswap-sqr
Counts
4 → 132
Calls
4 calls:
3.0ms
(cbrt (/ 1 z))
3.0ms
(cbrt (/ 1 z))
17.0ms
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
15.0ms
(* x (neg (/ t (- 1.0 z))))

series86.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt (/ 1 z))
23.0ms
(cbrt (/ 1 z))
26.0ms
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
12.0ms
(* x (neg (/ t (- 1.0 z))))

simplify938.0ms

Counts
144 → 144
Iterations

Useful iterations: done (934.0ms)

IterNodesCost
02641659
16351505
217281322
done50001318

prune247.0ms

Filtered
93 candidates to 144 candidates (-54.8%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1431144
Fresh01010
Picked101
Done011
Total14412156

Merged error: 0.0b

Counts
156 → 12

regimes658.0ms

Accuracy

90.4% (0.5b remaining)

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

bsearch1.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
044135
168135
282135
386135
done86135

end0.0ms

sample895.0ms

Algorithm
intervals
Results
384.0ms10092×body80valid

Profiling

Loading profile data...