Details

Time bar (total: 17.6s)

sample37.0ms

Algorithm
intervals
Results
19.0ms350×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5000
274892
264724
254538
244371
234185
224017
213831
203664
193478
183310
173124
162935
152735
142563
132357
121964
111245
10808
9546
8311
7187
6124
587
470
355
239
120
09

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
7×add-sqr-sqrt
6×times-frac add-cbrt-cube add-exp-log associate-/l*
4×distribute-lft-out--
3×add-cube-cbrt
2×cbrt-undiv div-exp distribute-lft-out difference-of-squares associate-/l/
1×pow1 clear-num associate-/r* frac-2neg flip3-- div-sub prod-exp cbrt-unprod insert-posit16 div-inv flip-- add-log-exp
Counts
1 → 31
Calls
1 calls:
77.0ms
(/ (- (+ x y) z) (* t 2.0))

series63.0ms

Counts
1 → 3
Calls
1 calls:
63.0ms
(/ (- (+ x y) z) (* t 2.0))

simplify2.3s

Counts
34 → 34
Iterations
IterNodes
done5000
33126
2668
1202
079

prune124.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ x t) (/ z t))
0.0b
(+ (/ y t) (- (/ x t) (/ z t)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
19×add-sqr-sqrt times-frac
9×add-log-exp
8×distribute-lft-out--
7×add-cube-cbrt
5×distribute-lft-out
4×frac-add difference-of-squares
2×pow1 associate-+r+ sum-log sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub insert-posit16 div-inv flip-- sub-div
1×+-commutative associate-+r- flip3-+ distribute-rgt-out-- flip-+
Counts
2 → 49
Calls
2 calls:
16.0ms
(- (/ x t) (/ z t))
68.0ms
(+ (/ y t) (- (/ x t) (/ z t)))

series62.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(- (/ x t) (/ z t))
28.0ms
(+ (/ y t) (- (/ x t) (/ z t)))

simplify1.7s

Counts
55 → 55
Iterations
IterNodes
done5000
32470
2704
1258
0100

prune264.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ y t) (cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))))
0.1b
(* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))
0.3b
(* (- (/ x t) (/ z t)) (- (/ x t) (/ z t)))
33.2b
(cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t))))

rewrite466.0ms

Algorithm
rewrite-expression-head
Rules
544×frac-times
248×cbrt-div
235×flip3-- frac-sub flip-- sub-div
136×associate-*l/
124×frac-add
82×add-sqr-sqrt
76×associate-*r/
67×*-un-lft-identity
50×times-frac
30×pow1
24×associate-*r*
22×distribute-lft-out--
20×difference-of-squares
19×add-cube-cbrt
14×swap-sqr
13×associate-*l*
11×add-cbrt-cube add-exp-log
10×div-inv
7×pow-plus pow-prod-up
6×add-log-exp
5×distribute-rgt-out--
4×distribute-rgt-in sub-neg distribute-lft-in pow-prod-down prod-exp cbrt-unprod insert-posit16
3×pow2 pow-sqr
2×pow3 *-commutative unswap-sqr
1×cbrt-prod +-commutative sum-log flip3-+ pow1/3 rem-cbrt-cube flip-+ distribute-lft-out
Counts
4 → 521
Calls
4 calls:
38.0ms
(+ (/ y t) (cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))))
169.0ms
(* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))
106.0ms
(* (- (/ x t) (/ z t)) (- (/ x t) (/ z t)))
126.0ms
(cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t))))

series207.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ (/ y t) (cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))))
86.0ms
(* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t)))
48.0ms
(* (- (/ x t) (/ z t)) (- (/ x t) (/ z t)))
36.0ms
(cbrt (* (* (- (/ x t) (/ z t)) (- (/ x t) (/ z t))) (- (/ x t) (/ z t))))

simplify2.8s

Counts
533 → 533
Iterations
IterNodes
done5001
12345
01025

prune2.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ y t) (* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t)))))
0.2b
(* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t))))
3.2b
(sqrt (- (/ x t) (/ z t)))
3.2b
(sqrt (- (/ x t) (/ z t)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
88×sqrt-div
82×sqrt-prod
80×*-un-lft-identity
60×times-frac
32×frac-times
26×add-cube-cbrt distribute-lft-out--
24×frac-add difference-of-squares
22×flip3-- frac-sub flip-- sub-div
21×pow1
19×swap-sqr
15×associate-*r* associate-*l*
12×div-inv
10×sqrt-pow1 pow1/2
8×associate-*l/ associate-*r/
6×add-cbrt-cube distribute-rgt-out-- add-exp-log add-log-exp
5×pow-prod-up
4×insert-posit16 unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square
1×pow2 +-commutative sum-log rem-square-sqrt flip3-+ pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod flip-+
Counts
4 → 193
Calls
4 calls:
13.0ms
(+ (/ y t) (* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t)))))
68.0ms
(* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t))))
14.0ms
(sqrt (- (/ x t) (/ z t)))
14.0ms
(sqrt (- (/ x t) (/ z t)))

series277.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ (/ y t) (* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t)))))
30.0ms
(* (sqrt (- (/ x t) (/ z t))) (sqrt (- (/ x t) (/ z t))))
110.0ms
(sqrt (- (/ x t) (/ z t)))
103.0ms
(sqrt (- (/ x t) (/ z t)))

simplify1.8s

Counts
205 → 205
Iterations
IterNodes
done5000
21940
1711
0314

prune830.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes388.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
IterNodes
done13
113
011

end0.0ms

sample1.0s

Algorithm
intervals
Results
564.0ms10827×body80valid