Details

Time bar (total: 20.2s)

sample98.0ms

Algorithm
intervals
Results
46.0ms415×body80valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01821
13821
211221
337421
4120021
done500121

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite396.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*l/
22×add-sqr-sqrt
19×flip3-- *-un-lft-identity flip--
16×associate-*l*
13×add-log-exp
12×frac-add
10×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
9×associate-*r*
8×frac-sub
4×associate-+l+ distribute-lft-out--
3×diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod difference-of-squares unswap-sqr
2×sub-neg associate--l+
1×+-commutative associate-+l- flip3-+ flip-+ distribute-lft-out
Counts
4 → 97
Calls
4 calls:
179.0ms
(* (- (+ y t) 2.0) b)
22.0ms
(* (- y 1.0) z)
24.0ms
(* (- t 1.0) a)
167.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

series410.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (- (+ y t) 2.0) b)
53.0ms
(* (- y 1.0) z)
40.0ms
(* (- t 1.0) a)
271.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

simplify2.3s

Counts
109 → 109
Iterations

Useful iterations: 2 (598.0ms)

IterNodesCost
02662710
18832499
243442403
done50002403

prune600.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0)))
0.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
58×cbrt-prod
37×add-sqr-sqrt
22×distribute-lft-out--
18×cbrt-div
15×add-cube-cbrt swap-sqr
11×pow1 distribute-lft-out
9×flip3-- pow1/3 associate-*r* associate-*l* flip--
7×difference-of-squares
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 111
Calls
4 calls:
229.0ms
(* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0)))
35.0ms
(cbrt (- (+ y t) 2.0))
19.0ms
(cbrt (- (+ y t) 2.0))
34.0ms
(cbrt (- (+ y t) 2.0))

series762.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0)))
188.0ms
(cbrt (- (+ y t) 2.0))
176.0ms
(cbrt (- (+ y t) 2.0))
154.0ms
(cbrt (- (+ y t) 2.0))

simplify2.1s

Counts
123 → 123
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01592085
13541905
29291807
326621634
done50011623

prune757.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow (cbrt (- (+ y t) 2.0)) 1) (cbrt (- (+ y t) 2.0)))
0.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))

rewrite442.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
36×cbrt-prod add-sqr-sqrt
13×unpow-prod-down associate-*l*
12×add-cube-cbrt
10×distribute-lft-out--
9×add-exp-log associate-*r*
8×cbrt-div unswap-sqr
7×pow1
5×add-cbrt-cube distribute-lft-out difference-of-squares
4×flip3-- flip-- add-log-exp
3×pow1/3 prod-exp sqr-pow
2×associate-*r/
1×pow-to-exp pow-plus pow-prod-down pow-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
Counts
4 → 96
Calls
4 calls:
355.0ms
(* (pow (cbrt (- (+ y t) 2.0)) 1) (cbrt (- (+ y t) 2.0)))
33.0ms
(cbrt (- (+ y t) 2.0))
19.0ms
(cbrt (- (+ y t) 2.0))
26.0ms
(cbrt (- (+ y t) 2.0))

series711.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (pow (cbrt (- (+ y t) 2.0)) 1) (cbrt (- (+ y t) 2.0)))
149.0ms
(cbrt (- (+ y t) 2.0))
171.0ms
(cbrt (- (+ y t) 2.0))
187.0ms
(cbrt (- (+ y t) 2.0))

simplify3.4s

Counts
108 → 108
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
01651815
13801455
211011317
344771280
done50001280

prune584.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.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))
0.6b
(cbrt (- (+ y t) 2.0))
0.7b
(cbrt (cbrt (- (+ y t) 2.0)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
33×cbrt-prod
29×*-un-lft-identity
17×add-sqr-sqrt
10×cbrt-div
9×add-cube-cbrt
8×distribute-lft-out--
4×pow1 add-exp-log flip3-- pow1/3 add-cbrt-cube flip-- distribute-lft-out add-log-exp difference-of-squares
Counts
4 → 67
Calls
4 calls:
29.0ms
(cbrt (- (+ y t) 2.0))
21.0ms
(cbrt (- (+ y t) 2.0))
30.0ms
(cbrt (- (+ y t) 2.0))
37.0ms
(cbrt (cbrt (- (+ y t) 2.0)))

series708.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt (- (+ y t) 2.0))
153.0ms
(cbrt (- (+ y t) 2.0))
152.0ms
(cbrt (- (+ y t) 2.0))
229.0ms
(cbrt (cbrt (- (+ y t) 2.0)))

simplify1.6s

Counts
79 → 79
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01431161
13251106
27951043
322341010
done50001002

prune656.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes235.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01821
12321
done2321

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.5s12572×body80valid
1.0ms3×body640valid
0.0ms2×body320valid