Details

Time bar (total: 15.5s)

sample31.0ms

Algorithm
intervals
Results
14.0ms268×body80valid

simplify722.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
91412
8514
7233
6164
5138
4102
365
237
123
014

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.9b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
0.0b
(* z (- a t))
0.5b
(- (* y x) (* z (- a t)))
21.1b
(/ (- (* y x) (* z (- a t))) (+ y (* z (- b y))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×*-un-lft-identity
16×add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
8×pow1
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*l* add-log-exp
4×flip3-- associate-*r/ flip-- associate--r+
3×associate-/r* associate-/l*
2×pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
4 → 100
Calls
4 calls:
17.0ms
(* z (- b y))
16.0ms
(* z (- a t))
6.0ms
(- (* y x) (* z (- a t)))
19.0ms
(/ (- (* y x) (* z (- a t))) (+ y (* z (- b y))))

series673.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* z (- b y))
50.0ms
(* z (- a t))
66.0ms
(- (* y x) (* z (- a t)))
507.0ms
(/ (- (* y x) (* z (- a t))) (+ y (* z (- b y))))

simplify691.0ms

Counts
112 → 112
Iterations
IterNodes
done5002
21785
1452
0173

prune612.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 17.8b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* y x) (+ (* z (- b y)) y)) (* (/ z (+ (* z (- b y)) y)) (- a t)))
4.4b
(* (/ z (+ (* z (- b y)) y)) (- a t))
12.5b
(/ z (+ (* z (- b y)) y))
14.3b
(/ (* y x) (+ (* z (- b y)) y))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×*-un-lft-identity
22×times-frac add-cube-cbrt
16×add-cbrt-cube add-exp-log
15×associate-*l*
6×pow1 associate-/r* associate-/r/ add-log-exp
5×sub-neg flip3-- associate-*r* frac-sub flip--
4×distribute-rgt-in frac-times cbrt-undiv distribute-lft-in div-exp associate-*r/ associate-/l* associate--r+
3×flip3-+ associate-*l/ prod-exp cbrt-unprod flip-+ div-inv
2×clear-num frac-2neg unswap-sqr
1×diff-log pow-prod-down *-commutative distribute-lft-out-- sub-div difference-of-squares
Counts
4 → 118
Calls
4 calls:
109.0ms
(- (/ (* y x) (+ (* z (- b y)) y)) (* (/ z (+ (* z (- b y)) y)) (- a t)))
77.0ms
(* (/ z (+ (* z (- b y)) y)) (- a t))
25.0ms
(/ z (+ (* z (- b y)) y))
29.0ms
(/ (* y x) (+ (* z (- b y)) y))

series1.5s

Counts
4 → 12
Calls
4 calls:
714.0ms
(- (/ (* y x) (+ (* z (- b y)) y)) (* (/ z (+ (* z (- b y)) y)) (- a t)))
504.0ms
(* (/ z (+ (* z (- b y)) y)) (- a t))
90.0ms
(/ z (+ (* z (- b y)) y))
153.0ms
(/ (* y x) (+ (* z (- b y)) y))

simplify1.2s

Counts
130 → 130
Iterations
IterNodes
done5001
23444
1621
0208

prune922.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.2b

localize53.0ms

Local error

Found 4 expressions with local error:

3.7b
(/ x (+ y (* (- b y) z)))
4.4b
(* (/ z (+ (* z (- b y)) y)) (- a t))
9.4b
(* y (/ x (+ y (* (- b y) z))))
12.5b
(/ z (+ (* z (- b y)) y))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
38×*-un-lft-identity times-frac
36×add-cube-cbrt
20×associate-*r*
18×add-cbrt-cube associate-*l* add-exp-log
8×pow1 associate-/r/
6×associate-/r* associate-/l*
4×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ div-inv add-log-exp unswap-sqr
3×associate-*r/
2×distribute-rgt-in frac-times clear-num sub-neg frac-2neg distribute-lft-in flip3-- pow-prod-down *-commutative flip--
1×associate-*l/ distribute-lft-out-- difference-of-squares
Counts
4 → 136
Calls
4 calls:
8.0ms
(/ x (+ y (* (- b y) z)))
71.0ms
(* (/ z (+ (* z (- b y)) y)) (- a t))
25.0ms
(* y (/ x (+ y (* (- b y) z))))
21.0ms
(/ z (+ (* z (- b y)) y))

series835.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(/ x (+ y (* (- b y) z)))
512.0ms
(* (/ z (+ (* z (- b y)) y)) (- a t))
153.0ms
(* y (/ x (+ y (* (- b y) z))))
94.0ms
(/ z (+ (* z (- b y)) y))

simplify1.1s

Counts
148 → 148
Iterations
IterNodes
done5000
22867
1608
0221

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.2b

localize48.0ms

Local error

Found 4 expressions with local error:

3.7b
(/ x (+ y (* (- b y) z)))
4.4b
(* (* z (/ 1 (+ y (* z (- b y))))) (- a t))
9.4b
(* y (/ x (+ y (* (- b y) z))))
11.7b
(* z (/ 1 (+ y (* z (- b y)))))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
35×associate-*r* add-exp-log
32×*-un-lft-identity
30×times-frac
29×add-cube-cbrt
25×add-cbrt-cube
15×prod-exp
13×pow1
9×cbrt-unprod
7×associate-*l* associate-*r/
6×div-exp associate-/r/
5×pow-prod-down unswap-sqr
4×frac-times cbrt-undiv un-div-inv add-log-exp
3×associate-/r* flip3-+ flip3-- *-commutative flip-+ div-inv flip-- associate-/l*
2×distribute-rgt-in rec-exp sub-neg distribute-lft-in 1-exp associate-*l/
1×clear-num frac-2neg distribute-lft-out-- difference-of-squares
Counts
4 → 137
Calls
4 calls:
10.0ms
(/ x (+ y (* (- b y) z)))
57.0ms
(* (* z (/ 1 (+ y (* z (- b y))))) (- a t))
31.0ms
(* y (/ x (+ y (* (- b y) z))))
27.0ms
(* z (/ 1 (+ y (* z (- b y)))))

series772.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ x (+ y (* (- b y) z)))
373.0ms
(* (* z (/ 1 (+ y (* z (- b y))))) (- a t))
192.0ms
(* y (/ x (+ y (* (- b y) z))))
115.0ms
(* z (/ 1 (+ y (* z (- b y)))))

simplify1.3s

Counts
149 → 149
Iterations
IterNodes
done5001
23416
1679
0234

prune790.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 11.2b

regimes819.0ms

Accuracy

0% (1.6b remaining)

Error of 14.5b against oracle of 12.8b and baseline of 14.5b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done33
133
025

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.3s8428×body80valid