Details

Time bar (total: 20.0s)

sample87.0ms

Algorithm
intervals
Results
41.0ms426×body80valid

simplify5.0s

Counts
1 → 1
Iterations

Useful iterations: 6 (3.3s)

IterNodesCost
01819
13719
29319
328219
468419
5153319
6341217
done500117

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
0.2b
(* (* x 9.0) y)
2.9b
(/ (+ b (* (* x 9.0) y)) z)
11.0b
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) c)

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
13×add-exp-log add-cbrt-cube
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×associate-/l/
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv
1×sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
63.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
18.0ms
(* (* x 9.0) y)
42.0ms
(/ (+ b (* (* x 9.0) y)) z)
137.0ms
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) c)

series500.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
25.0ms
(* (* x 9.0) y)
68.0ms
(/ (+ b (* (* x 9.0) y)) z)
202.0ms
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) c)

simplify1.5s

Counts
101 → 101
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01821845
14441785
215671639
done50001631

prune443.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.2b
(/ 1 (/ z (+ b (* (* x 9.0) y))))
3.1b
(/ z (+ b (* (* x 9.0) y)))
11.0b
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
65×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
24×add-exp-log
21×associate-/r*
18×add-cbrt-cube
11×associate-/r/
10×pow1
9×div-exp associate-/l*
7×div-inv
5×cbrt-undiv flip3-+ flip-+
4×add-log-exp
3×frac-2neg associate-*r* pow-prod-down prod-exp clear-num cbrt-unprod
2×rec-exp 1-exp associate-/l/
1×flip3-- pow-flip div-sub associate-*l* *-commutative flip-- inv-pow
Counts
4 → 161
Calls
4 calls:
30.0ms
(* (* x 9.0) y)
26.0ms
(/ 1 (/ z (+ b (* (* x 9.0) y))))
15.0ms
(/ z (+ b (* (* x 9.0) y)))
243.0ms
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

series449.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* x 9.0) y)
89.0ms
(/ 1 (/ z (+ b (* (* x 9.0) y))))
69.0ms
(/ z (+ b (* (* x 9.0) y)))
265.0ms
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

simplify1.3s

Counts
173 → 173
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02863439
16573163
219152782
done50002752

prune673.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
0.2b
(* (* x 9.0) y)
2.9b
(/ (+ b (* (* x 9.0) y)) z)
11.0b
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

rewrite340.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
21×add-cube-cbrt
20×add-exp-log times-frac
16×associate-*r* add-cbrt-cube
11×pow1
7×prod-exp
6×add-log-exp
5×cbrt-unprod
4×associate-*l* pow-prod-down
3×flip3-- div-exp associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv frac-times associate-*l/ *-commutative div-inv associate-/l/
1×sub-neg rec-exp frac-2neg flip3-+ diff-log 1-exp associate-*r/ clear-num un-div-inv flip-+
Counts
4 → 99
Calls
4 calls:
79.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
27.0ms
(* (* x 9.0) y)
30.0ms
(/ (+ b (* (* x 9.0) y)) z)
199.0ms
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

series569.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
34.0ms
(* (* x 9.0) y)
86.0ms
(/ (+ b (* (* x 9.0) y)) z)
234.0ms
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.3s

Counts
111 → 111
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02072097
15081951
217291751
done50001743

prune383.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.2b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t))
0.2b
(* 9.0 (* x y))
2.9b
(/ (+ b (pow (* 9.0 (* x y)) 1)) z)
11.0b
(* (- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t)) (/ 1 c))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
29×add-sqr-sqrt
23×times-frac
22×add-cube-cbrt
20×add-exp-log
16×add-cbrt-cube
14×associate-*r*
11×pow1
7×prod-exp
6×associate-*l* add-log-exp
5×cbrt-unprod
4×pow-prod-down distribute-lft-out associate-/l*
3×flip3-- div-exp associate-/r* flip-- unswap-sqr
2×cbrt-undiv frac-times associate-*l/ *-commutative div-inv associate-/l/
1×sub-neg rec-exp frac-2neg flip3-+ diff-log 1-exp associate-*r/ clear-num un-div-inv flip-+
Counts
4 → 103
Calls
4 calls:
81.0ms
(- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t))
24.0ms
(* 9.0 (* x y))
33.0ms
(/ (+ b (pow (* 9.0 (* x y)) 1)) z)
229.0ms
(* (- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t)) (/ 1 c))

series629.0ms

Counts
4 → 12
Calls
4 calls:
276.0ms
(- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t))
43.0ms
(* 9.0 (* x y))
104.0ms
(/ (+ b (pow (* 9.0 (* x y)) 1)) z)
207.0ms
(* (- (/ (+ b (pow (* 9.0 (* x y)) 1)) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.3s

Counts
115 → 115
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02052386
15021996
216431800
done50001792

prune439.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 6.2b

regimes1.4s

Accuracy

78.3% (1.7b remaining)

Error of 7.5b against oracle of 5.9b and baseline of 13.6b

bsearch5.0ms

simplify13.0ms

Iterations

Useful iterations: done (12.0ms)

IterNodesCost
044169
159169
done59167

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s12799×body80valid