Details

Time bar (total: 16.0s)

sample73.0ms

Algorithm
intervals
Results
37.0ms384×body80valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01717
13217
26917
312617
420117
528417
638917
752617
863017
963817
done63817

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite401.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
13×*-un-lft-identity
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt sum-log
4×pow1 diff-log
3×associate-+l+ flip3-+ times-frac associate-/r* flip-+
2×cbrt-undiv +-commutative sub-neg div-exp associate--l+ frac-sub distribute-lft-out distribute-lft-out--
1×associate-+l- flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv associate-/l* difference-of-squares
Counts
4 → 69
Calls
4 calls:
11.0ms
(/ (* a b) 4.0)
102.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
16.0ms
(+ (* x y) (/ (* z t) 16.0))
270.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

series400.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ (* a b) 4.0)
120.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
66.0ms
(+ (* x y) (/ (* z t) 16.0))
188.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

simplify1.1s

Counts
81 → 81
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01411389
13701288
213301232
done50001204

prune257.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(+ (- (cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3)) (/ (* a b) 4.0)) c)
0.3b
(pow (+ (* x y) (/ (* z t) 16.0)) 3)
35.3b
(cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3))

rewrite678.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
12×cbrt-prod
11×add-log-exp
10×add-sqr-sqrt add-cube-cbrt
6×unpow-prod-down cube-prod
5×pow1 add-exp-log add-cbrt-cube
4×cube-div flip3-+ flip-+
3×pow-unpow sum-log
2×+-commutative cube-mult associate-+l+ cbrt-div unpow3 distribute-lft-out sqr-pow
1×pow-to-exp associate-+l- sub-neg pow-pow pow1/3 diff-log pow-exp rem-cbrt-cube distribute-lft-out-- rem-cube-cbrt
Counts
4 → 76
Calls
4 calls:
17.0ms
(+ (* x y) (/ (* z t) 16.0))
624.0ms
(+ (- (cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3)) (/ (* a b) 4.0)) c)
19.0ms
(pow (+ (* x y) (/ (* z t) 16.0)) 3)
16.0ms
(cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3))

series506.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(+ (* x y) (/ (* z t) 16.0))
212.0ms
(+ (- (cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3)) (/ (* a b) 4.0)) c)
176.0ms
(pow (+ (* x y) (/ (* z t) 16.0)) 3)
57.0ms
(cbrt (pow (+ (* x y) (/ (* z t) 16.0)) 3))

simplify883.0ms

Counts
88 → 88
Iterations

Useful iterations: done (880.0ms)

IterNodesCost
01401800
13741531
213191385
done50001371

prune290.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.1b
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.1b
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.3b
(* (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
73×*-un-lft-identity
48×sqrt-prod
28×add-sqr-sqrt
22×distribute-lft-out
21×pow1
16×sqrt-div swap-sqr
14×add-cube-cbrt
13×add-log-exp
11×distribute-lft-out--
10×sqrt-pow1 pow1/2
9×flip3-+ flip-+
8×associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
5×pow-prod-up
4×frac-times sum-log unswap-sqr
3×associate-+l+ pow-prod-down pow-sqr
2×rem-sqrt-square diff-log associate-*r/ associate-*l/
1×+-commutative pow2 associate-+l- sub-neg pow-plus sqrt-unprod prod-exp associate--l+ rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 122
Calls
4 calls:
307.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
357.0ms
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
335.0ms
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.6s
(* (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))

series4.1s

Counts
4 → 12
Calls
4 calls:
164.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
1.8s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.9s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
177.0ms
(* (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))

simplify565.0ms

Counts
134 → 134
Iterations

Useful iterations: done (560.0ms)

IterNodesCost
01454913
13053587
210023337
done50003150

prune402.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes488.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01717
12217
done2217

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.5s11831×body80valid