Details

Time bar (total: 33.0s)

sample59.0ms

Algorithm
intervals
Results
31.0ms391×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
017329
132329
269329
3127329
4340329
51001329
63298329
done5000329

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.2b
(/ (* z t) 16.0)

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity
5×add-cube-cbrt
3×pow1 associate-/r* times-frac
2×cbrt-undiv sum-log flip3-+ diff-log div-exp frac-sub flip-+
1×+-commutative clear-num sub-neg frac-2neg flip3-- prod-exp associate--l+ cbrt-unprod div-inv flip-- associate-/l* distribute-lft-out-- difference-of-squares
Counts
3 → 50
Calls
3 calls:
13.0ms
(+ (* x y) (/ (* z t) 16.0))
66.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
7.0ms
(/ (* z t) 16.0)

series173.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(+ (* x y) (/ (* z t) 16.0))
97.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
31.0ms
(/ (* z t) 16.0)

simplify1.1s

Counts
59 → 59
Iterations

Useful iterations: done (1.1s)

IterNodesCost
011716532
131414977
2137914737
done500114657

prune417.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* z (/ t 16.0)))
0.0b
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 sum-log flip3-+ add-cbrt-cube diff-log add-exp-log frac-sub add-cube-cbrt flip-+
1×+-commutative sub-neg flip3-- associate--l+ flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 29
Calls
2 calls:
10.0ms
(+ (* x y) (* z (/ t 16.0)))
44.0ms
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))

series192.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(+ (* x y) (* z (/ t 16.0)))
137.0ms
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))

simplify2.5s

Counts
35 → 35
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
07612889
121611626
283311626
3388111546
done500011546

prune311.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize103.0ms

Local error

Found 4 expressions with local error:

2.0b
(+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
3.3b
(* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0b
(- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0))))
38.1b
(/ (- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0)))) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
966×frac-times
698×flip3-+ flip-+
598×associate-*l/
569×associate-*r/
512×frac-add
364×frac-sub
184×associate-/l/
138×associate-/r/
18×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
15×times-frac add-cbrt-cube add-exp-log
11×add-log-exp
7×associate-*r*
6×pow1
5×difference-cubes cube-unmult pow3
4×prod-exp cbrt-unprod associate-/l*
3×cbrt-undiv associate-/r* sum-log div-exp associate-*l*
2×distribute-rgt-in associate-+l+ distribute-lft-in flip3-- associate--l+ div-inv flip--
1×+-commutative associate-+r+ clear-num sub-neg frac-2neg diff-log div-sub pow-prod-down *-commutative unswap-sqr
Counts
4 → 733
Calls
4 calls:
100.0ms
(+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
50.0ms
(* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
216.0ms
(- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0))))
688.0ms
(/ (- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0)))) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))

series6.2s

Counts
4 → 12
Calls
4 calls:
1.1s
(+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
205.0ms
(* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.1s
(- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0))))
747.0ms
(/ (- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0)))) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))

simplify5.4s

Counts
745 → 745
Iterations

Useful iterations: done (4.9s)

IterNodesCost
01328939949
done5000791777

prune8.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes973.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
017329
122329
done22329

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.3s12037×body80valid