Details

Time bar (total: 24.8s)

sample31.0ms

Algorithm
intervals
Results
18.0ms329×body80valid

simplify9.7s

Counts
1 → 1
Iterations
IterNodes
done5000
904978
894934
884890
874846
864802
854758
844714
834670
824626
814582
804538
794494
784450
774406
764362
754318
744274
734230
724186
714142
704098
694054
684010
673966
663922
653878
643834
633790
623746
613702
603658
593614
583570
573526
563482
553438
543394
533350
523306
513262
503218
493174
483130
473086
463042
452998
442954
432910
422866
412822
402778
392734
382690
372646
362602
352558
342514
332470
322426
312382
302338
292294
282250
272206
262162
252118
242074
232030
221986
211942
201898
191854
181810
171766
161722
151678
141630
131438
12757
11380
10293
9248
8222
7187
6167
5128
485
346
226
115
09

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity
10×add-cbrt-cube add-exp-log
7×add-cube-cbrt
5×pow1 associate-*r* add-log-exp
4×associate-*r/
3×associate-/r* times-frac associate-*l* insert-posit16
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in flip3-- div-exp prod-exp cbrt-unprod flip-- associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ pow-prod-down *-commutative flip-+ div-inv distribute-lft-out associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 64
Calls
3 calls:
15.0ms
(* y (- z t))
7.0ms
(+ x (/ (* y (- z t)) a))
19.0ms
(/ (* y (- z t)) a)

series185.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(* y (- z t))
69.0ms
(+ x (/ (* y (- z t)) a))
67.0ms
(/ (* y (- z t)) a)

simplify2.3s

Counts
73 → 73
Iterations
IterNodes
done5000
34159
2965
1318
0119

prune387.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
4.2b
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
38×*-un-lft-identity
34×associate-*r*
26×cbrt-prod add-cube-cbrt
25×add-exp-log
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out-- difference-of-squares unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 108
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
58.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series1.0s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt a)
255.0ms
(cbrt a)
290.0ms
(cbrt a)
133.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify1.5s

Counts
120 → 120
Iterations
IterNodes
done5002
22142
1508
0163

prune699.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
1.0b
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
14×add-cbrt-cube
9×cbrt-prod add-sqr-sqrt cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
4×pow1 prod-exp cbrt-unprod insert-posit16 add-log-exp
3×times-frac pow1/3 associate-/r/ associate-/l*
1×frac-times clear-num associate-/r* frac-2neg associate-*l/ associate-*r/ div-inv
Counts
4 → 67
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
31.0ms
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
311.0ms
(cbrt a)
261.0ms
(cbrt a)
296.0ms
(cbrt a)
220.0ms
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

simplify2.2s

Counts
79 → 79
Iterations
IterNodes
done5043
33588
2847
1291
0119

prune490.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
88×*-un-lft-identity
86×add-sqr-sqrt
58×add-cube-cbrt
14×distribute-lft-out-- difference-of-squares
13×associate-/r*
7×add-cbrt-cube add-exp-log div-inv
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow1 div-sub insert-posit16 associate-/l/
1×+-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- associate-/r/ flip-+ flip-- distribute-lft-out
Counts
2 → 116
Calls
2 calls:
19.0ms
(+ x (/ (- z t) (/ a y)))
13.0ms
(/ (- z t) (/ a y))

series139.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(+ x (/ (- z t) (/ a y)))
67.0ms
(/ (- z t) (/ a y))

simplify1.5s

Counts
122 → 122
Iterations
IterNodes
done5001
22014
1661
0221

prune610.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes573.0ms

Accuracy

65.7% (1.1b remaining)

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

bsearch118.0ms

Steps
ItersRangePoint
9
1.5020830811085278e-09
0.0017323986771050784
1.593765271222455e-09
9
-1.7640405447381577e-180
-4.043327875288927e-187
-1.7432637471506773e-180

simplify8.0ms

Iterations
IterNodes
done33
133
026

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s10652×body80valid