Details

Time bar (total: 17.8s)

sample42.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
016406
132406
271406
3183406
4576406
52129406
64555406
done5001406

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.7b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.1b
(+ (* (+ x y) z) (* (+ t y) a))
3.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
24.9b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-cbrt-cube add-exp-log
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×sum-log flip3-- diff-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
19.0ms
(* (+ x y) z)
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
64.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
172.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series1.0s

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (+ x y) z)
71.0ms
(+ (* (+ x y) z) (* (+ t y) a))
142.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
809.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify1.9s

Counts
102 → 102
Iterations

Useful iterations: done (1.9s)

IterNodesCost
018042480
153538933
2255538613
done500037613

prune705.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 8.6b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
1.1b
(+ (* (+ x y) z) (* (+ t y) a))
3.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
24.9b
(/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
152×*-un-lft-identity
138×times-frac
72×add-sqr-sqrt add-cube-cbrt
48×distribute-lft-out
24×associate-/r*
17×add-exp-log
11×add-cbrt-cube associate-/r/ add-log-exp
8×div-exp associate-*l/ associate-/l*
6×flip3-+ flip3-- flip-+ div-inv flip--
5×pow1
4×cbrt-undiv frac-add
2×rec-exp clear-num sum-log frac-2neg diff-log 1-exp associate-/l/
1×+-commutative sub-neg associate--l+ pow-flip inv-pow
Counts
4 → 176
Calls
4 calls:
88.0ms
(/ 1 (/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
12.0ms
(+ (* (+ x y) z) (* (+ t y) a))
70.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
105.0ms
(/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series980.0ms

Counts
4 → 12
Calls
4 calls:
691.0ms
(/ 1 (/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
56.0ms
(+ (* (+ x y) z) (* (+ t y) a))
115.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
118.0ms
(/ (+ x (+ t y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify2.4s

Counts
188 → 188
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
0262114624
176899985
2436399499
done500199499

prune889.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.3b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune51.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.3b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (+ x (+ t y)))
1.1b
(+ (* (+ x y) z) (* (+ t y) a))
3.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
25.0b
(* (/ 1 (+ x (+ t y))) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
32×times-frac
31×add-sqr-sqrt
24×add-cube-cbrt
21×associate-*l* distribute-lft-out
17×add-exp-log
11×add-cbrt-cube add-log-exp
9×associate-*l/
7×pow1 flip3-+ flip-+
5×associate-/r*
4×div-exp frac-add prod-exp associate-/r/
3×distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*r* associate--l+ flip-- associate-/l* unswap-sqr
2×frac-times cbrt-undiv rec-exp sum-log diff-log 1-exp associate-*r/ cbrt-unprod div-inv
1×+-commutative clear-num frac-2neg pow-prod-down *-commutative pow-flip inv-pow
Counts
4 → 123
Calls
4 calls:
25.0ms
(/ 1 (+ x (+ t y)))
12.0ms
(+ (* (+ x y) z) (* (+ t y) a))
61.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
188.0ms
(* (/ 1 (+ x (+ t y))) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
69.0ms
(/ 1 (+ x (+ t y)))
59.0ms
(+ (* (+ x y) z) (* (+ t y) a))
379.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
649.0ms
(* (/ 1 (+ x (+ t y))) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify2.0s

Counts
135 → 135
Iterations

Useful iterations: done (2.0s)

IterNodesCost
020652897
165146090
2415443960
done500043759

prune547.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 3.3b

regimes947.0ms

Accuracy

86.4% (3.3b remaining)

Error of 7.8b against oracle of 4.5b and baseline of 28.7b

bsearch3.0ms

simplify13.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
028869
143869
done43869

end0.0ms

sample914.0ms

Algorithm
intervals
Results
640.0ms7994×body80valid
0.0ms1×body2560valid
0.0ms3×body160valid
0.0ms1×body1280valid
0.0ms1×body640valid