Details

Time bar (total: 15.7s)

sample23.0ms

Algorithm
intervals
Results
11.0ms314×body80valid

simplify5.3s

Counts
1 → 1
Iterations
IterNodes
done5000
1244958
1234925
1224883
1214845
1204798
1194765
1184716
1174684
1164637
1154598
1144556
1134524
1124471
1114438
1104396
1094358
1084311
1074278
1064229
1054197
1044150
1034113
1024071
1014039
1003986
993953
983911
973869
963822
953789
943744
933712
923665
913628
903586
893554
883501
873468
863426
853384
843337
833304
823257
813225
803178
793139
783097
773065
763012
752979
742937
732899
722852
712819
702770
692738
682691
672654
662612
652580
642527
632494
622452
612410
602363
592330
582283
572251
562204
552167
542125
532093
522040
512007
501965
491927
481880
471847
461800
451768
441721
431684
421642
411610
401557
391524
381482
371444
361397
351364
341317
331285
321238
311201
301159
291127
281074
271041
26999
25961
24914
23881
22836
21804
20757
19718
18670
17633
16596
15570
14503
13459
12375
11327
10275
9235
8183
7143
693
554
438
328
219
112
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- add-log-exp difference-of-squares
3×associate-/r*
2×pow1 div-sub insert-posit16 associate-/l/
1×cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- distribute-lft-out
Counts
2 → 53
Calls
2 calls:
17.0ms
(+ x (/ (- y x) z))
21.0ms
(/ (- y x) z)

series67.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(+ x (/ (- y x) z))
41.0ms
(/ (- y x) z)

simplify2.1s

Counts
59 → 59
Iterations
IterNodes
done5025
33040
2667
1232
096

prune231.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- add-log-exp difference-of-squares
3×associate-/r*
2×pow1 div-sub insert-posit16 associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ flip3-- div-exp associate-+l- flip-+ div-inv flip-- distribute-lft-out
Counts
2 → 53
Calls
2 calls:
39.0ms
(+ (/ (- y x) z) x)
19.0ms
(/ (- y x) z)

series57.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(+ (/ (- y x) z) x)
33.0ms
(/ (- y x) z)

simplify2.1s

Counts
59 → 59
Iterations
IterNodes
done5000
33183
2683
1232
097

prune190.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 1 expressions with local error:

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

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity add-log-exp
3×diff-log distribute-lft-out--
2×sub-neg flip3-- frac-sub flip-- associate--r+ difference-of-squares
1×pow1 times-frac add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 associate--r-
Counts
1 → 23
Calls
1 calls:
48.0ms
(- (/ y z) (- (/ x z) x))

series29.0ms

Counts
1 → 3
Calls
1 calls:
29.0ms
(- (/ y z) (- (/ x z) x))

simplify1.5s

Counts
26 → 26
Iterations
IterNodes
done5002
31887
2476
1173
064

prune75.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (- y x) (/ 1 z)) x)
0.5b
(* (- y x) (/ 1 z))

rewrite56.0ms

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

series67.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(+ (* (- y x) (/ 1 z)) x)
43.0ms
(* (- y x) (/ 1 z))

simplify2.6s

Counts
61 → 61
Iterations
IterNodes
done5003
33101
2899
1307
0119

prune222.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes126.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
IterNodes
done7
17
06

end0.0ms

sample780.0ms

Algorithm
intervals
Results
481.0ms10165×body80valid