Details

Time bar (total: 23.5s)

sample48.0ms

Algorithm
intervals
Results
19.0ms356×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2259
3589
41019
51589
62079
73899
89929
936539
done50019

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*l*
4×pow1 add-log-exp
2×frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 49
Calls
2 calls:
7.0ms
(+ x (* (- y x) (/ z t)))
36.0ms
(* (- y x) (/ z t))

series95.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(+ x (* (- y x) (/ z t)))
48.0ms
(* (- y x) (/ z t))

simplify926.0ms

Counts
55 → 55
Iterations

Useful iterations: done (925.0ms)

IterNodesCost
0115669
1308631
21520581
done5000557

prune135.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- y x))
0.5b
(cbrt (- y x))
3.6b
(* (cbrt (- y x)) (/ z t))
5.6b
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
116×cbrt-div
84×frac-times
58×flip3-- flip--
40×associate-*l/
31×add-sqr-sqrt
30×add-exp-log
27×associate-*r/
21×*-un-lft-identity
18×pow1 add-cbrt-cube
17×cbrt-prod
15×add-cube-cbrt prod-exp cbrt-unprod
14×associate-*r*
11×times-frac
9×associate-*l* pow-prod-down
4×add-log-exp unswap-sqr
3×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
2×pow1/3 *-commutative
1×div-inv
Counts
4 → 152
Calls
4 calls:
4.0ms
(cbrt (- y x))
4.0ms
(cbrt (- y x))
41.0ms
(* (cbrt (- y x)) (/ z t))
101.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))

series758.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(cbrt (- y x))
231.0ms
(cbrt (- y x))
266.0ms
(* (cbrt (- y x)) (/ z t))
66.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))

simplify3.4s

Counts
164 → 164
Iterations

Useful iterations: done (3.4s)

IterNodesCost
02763800
18543655
238693354
done50013033

prune684.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (cbrt (- y x)) (cbrt (- y x))))
0.5b
(cbrt (cbrt (- y x)))
3.6b
(* (cbrt (- y x)) (/ z t))
5.6b
(* (* (cbrt (- y x)) (* (cbrt (* (cbrt (- y x)) (cbrt (- y x)))) (cbrt (cbrt (- y x))))) (* (cbrt (- y x)) (/ z t)))

rewrite602.0ms

Algorithm
rewrite-expression-head
Rules
2404×cbrt-div
1384×frac-times
819×flip3-- flip--
510×associate-*l/
389×associate-*r/
45×add-exp-log
29×add-sqr-sqrt
27×pow1
26×prod-exp cbrt-unprod
25×add-cbrt-cube
21×cbrt-prod
19×*-un-lft-identity
16×pow-prod-down
15×add-cube-cbrt
14×associate-*r*
11×times-frac
9×associate-*l*
4×cbrt-undiv div-exp add-log-exp unswap-sqr
2×pow1/3 *-commutative distribute-lft-out-- difference-of-squares
1×div-inv
Counts
4 → 597
Calls
4 calls:
16.0ms
(cbrt (* (cbrt (- y x)) (cbrt (- y x))))
10.0ms
(cbrt (cbrt (- y x)))
58.0ms
(* (cbrt (- y x)) (/ z t))
372.0ms
(* (* (cbrt (- y x)) (* (cbrt (* (cbrt (- y x)) (cbrt (- y x)))) (cbrt (cbrt (- y x))))) (* (cbrt (- y x)) (/ z t)))

series770.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(cbrt (* (cbrt (- y x)) (cbrt (- y x))))
207.0ms
(cbrt (cbrt (- y x)))
326.0ms
(* (cbrt (- y x)) (/ z t))
64.0ms
(* (* (cbrt (- y x)) (* (cbrt (* (cbrt (- y x)) (cbrt (- y x)))) (cbrt (cbrt (- y x))))) (* (cbrt (- y x)) (/ z t)))

simplify2.5s

Counts
609 → 609
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0119636547
1435935085
done500034633

prune5.5s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)
4.7b
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
30×times-frac
25×add-exp-log
24×*-un-lft-identity
22×add-cube-cbrt associate-*r*
20×cbrt-prod
18×add-cbrt-cube
9×associate-*l*
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 94
Calls
4 calls:
2.0ms
(cbrt t)
2.0ms
(cbrt t)
2.0ms
(cbrt t)
103.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

series960.0ms

Counts
4 → 12
Calls
4 calls:
290.0ms
(cbrt t)
255.0ms
(cbrt t)
310.0ms
(cbrt t)
105.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

simplify1.7s

Counts
106 → 106
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01511411
14761355
227731043
done5000983

prune468.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0b

regimes398.0ms

Accuracy

29.5% (1.3b remaining)

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

bsearch185.0ms

Steps
ItersRangePoint
8
1.8725171548264124e+256
1.0010650492360281e+260
3.879050157548418e+258
9
3.394150247141357e+54
1.9813331630890936e+61
9.000444220027359e+57
10
-3.6874311802331027e+53
-2.9788705781669344e+39
-1.6423523664284197e+49

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03477
14277
done4277

end0.0ms

sample1.3s

Algorithm
intervals
Results
591.0ms10704×body80valid