Details

Time bar (total: 8.5s)

sample22.0ms

Algorithm
intervals
Results
9.0ms296×body80valid
0.0ms1×body320valid

simplify230.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01313
12413
24513
37013
49413
510313
611213
714313
821613
931113
1031313
done31313

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
0.0b
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×*-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg associate-+l+ diff-log sum-log add-cbrt-cube
1×+-commutative associate-+l- flip3-- flip3-+ associate-*l/ frac-sub flip-- flip-+ distribute-lft-out
Counts
2 → 29
Calls
2 calls:
5.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
30.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

series107.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
55.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

simplify826.0ms

Counts
35 → 35
Iterations

Useful iterations: 3 (203.0ms)

IterNodesCost
071602
1188568
2545540
31995530
done5000530

prune76.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
3×diff-log
2×sub-neg flip3-- associate-*l/ frac-sub flip-- associate--r+
1×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube associate--r-
Counts
1 → 18
Calls
1 calls:
13.0ms
(- (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(- (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))

simplify910.0ms

Counts
21 → 21
Iterations

Useful iterations: done (908.0ms)

IterNodesCost
068455
1198440
2665414
32393398
done5000396

prune45.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))
5.3b
(- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t)))
36.7b
(/ (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))) (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
96×associate-*l/
48×frac-sub
45×flip3-- flip--
44×frac-times
30×*-un-lft-identity associate-*r/
26×add-sqr-sqrt associate-/l/
16×add-cube-cbrt
12×times-frac
10×pow1
9×difference-of-squares
7×add-exp-log swap-sqr add-cbrt-cube
6×distribute-lft-out--
5×sub-neg associate-*r* associate-*l* add-log-exp
4×distribute-rgt-in distribute-lft-in associate-/r/ associate-/l* associate--r+
3×associate-/r*
2×frac-add
1×cbrt-undiv pow2 frac-2neg flip3-+ pow-plus diff-log div-sub div-exp pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ div-inv unswap-sqr
Counts
3 → 148
Calls
3 calls:
43.0ms
(* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))
31.0ms
(- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t)))
99.0ms
(/ (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))) (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))

series362.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))
171.0ms
(- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t)))
148.0ms
(/ (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (- (/ (* y z) 2.0) t) (- (/ (* y z) 2.0) t))) (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))

simplify1.3s

Counts
157 → 157
Iterations

Useful iterations: 2 (397.0ms)

IterNodesCost
02767172
18156765
240656223
done50006223

prune468.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
0.5b
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
0.5b
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
0.5b
(* (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))) (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-div
30×associate-*l/
26×frac-add
25×cbrt-prod
23×add-sqr-sqrt
16×frac-times
15×add-cube-cbrt *-un-lft-identity
13×flip3-- flip3-+ flip-- flip-+
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×associate-*r/ add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
16.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
16.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
17.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
137.0ms
(* (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))) (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))))

series1.2s

Counts
4 → 12
Calls
4 calls:
295.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
297.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
297.0ms
(cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t)))
279.0ms
(* (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))) (cbrt (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0) t))))

simplify1.4s

Counts
121 → 121
Iterations

Useful iterations: 3 (623.0ms)

IterNodesCost
01965061
14264767
212214565
339384065
done50004065

prune444.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes134.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01313
11513
done1513

end0.0ms

sample542.0ms

Algorithm
intervals
Results
304.0ms9108×body80valid
0.0ms1×body2560valid