Details

Time bar (total: 10.1s)

sample42.0ms

Algorithm
intervals
Results
19.0ms412×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 6 (954.0ms)

IterNodesCost
01819
13719
29119
326719
470419
5160619
6360817
done500117

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.7b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.5b
(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
1.8b
(/ (+ b (* (* x 9.0) y)) z)
11.3b
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

rewrite79.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:
9.0ms
(* (* x 9.0) y)
21.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
7.0ms
(/ (+ b (* (* x 9.0) y)) z)
40.0ms
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

series367.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (* x 9.0) y)
147.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
60.0ms
(/ (+ b (* (* x 9.0) y)) z)
141.0ms
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

simplify571.0ms

Counts
101 → 101
Iterations

Useful iterations: 2 (145.0ms)

IterNodesCost
01821845
14401785
215711639
done50001639

prune338.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.3b

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.5b
(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
1.8b
(/ (+ b (* (* x 9.0) y)) z)
11.4b
(* (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) (/ 1 c))

rewrite106.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:
6.0ms
(* (* x 9.0) y)
21.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
7.0ms
(/ (+ b (* (* x 9.0) y)) z)
68.0ms
(* (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) (/ 1 c))

series383.0ms

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

simplify672.0ms

Counts
111 → 111
Iterations

Useful iterations: 2 (169.0ms)

IterNodesCost
02072097
15121951
217921751
done50001751

prune363.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 8.3b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* x (* 9.0 y))
0.5b
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
1.8b
(/ (+ b (* x (* 9.0 y))) z)
11.3b
(/ (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))) c)

rewrite80.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-*l* 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-*r* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
6.0ms
(* x (* 9.0 y))
21.0ms
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
7.0ms
(/ (+ b (* x (* 9.0 y))) z)
43.0ms
(/ (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))) c)

series382.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* x (* 9.0 y))
151.0ms
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
59.0ms
(/ (+ b (* x (* 9.0 y))) z)
153.0ms
(/ (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))) c)

simplify521.0ms

Counts
101 → 101
Iterations

Useful iterations: 2 (134.0ms)

IterNodesCost
01801842
14331784
214681638
done50011638

prune338.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.3b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
0.6b
(/ 1 (/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))))
1.8b
(/ (+ b (* x (* 9.0 y))) z)
11.3b
(/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
64×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×associate-/r*
19×add-exp-log
13×add-cbrt-cube
11×associate-/r/
9×div-exp associate-/l*
7×div-inv
6×flip3-- flip-- add-log-exp
5×pow1 cbrt-undiv
3×frac-2neg clear-num
2×rec-exp 1-exp associate-/l/
1×sub-neg pow-flip flip3-+ diff-log flip-+ inv-pow
Counts
4 → 154
Calls
4 calls:
21.0ms
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
31.0ms
(/ 1 (/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))))
8.0ms
(/ (+ b (* x (* 9.0 y))) z)
21.0ms
(/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))))

series557.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))
260.0ms
(/ 1 (/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a)))))
63.0ms
(/ (+ b (* x (* 9.0 y))) z)
81.0ms
(/ c (- (/ (+ b (* x (* 9.0 y))) z) (* 4.0 (* t a))))

simplify712.0ms

Counts
166 → 166
Iterations

Useful iterations: done (706.0ms)

IterNodesCost
02564644
15864358
216534035
done50014027

prune430.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 8.3b

regimes675.0ms

Accuracy

86.8% (0.9b remaining)

Error of 7.7b against oracle of 6.8b and baseline of 13.6b

bsearch2.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
045183
161183
done61183

end0.0ms

sample1.1s

Algorithm
intervals
Results
617.0ms12888×body80valid