Details

Time bar (total: 59.8s)

sample323.0ms

Algorithm
intervals
Results
107.0ms59×body1280valid
73.0ms177×body80valid
69.0ms54×body640valid
29.0ms34×body320valid
7.0ms12×body160valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5032
44037
3735
2153
148
019

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

localize77.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
4.4b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.1b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
18.7b
(/ (pow t 3.0) (* l l))

rewrite757.0ms

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×pow-to-exp cbrt-undiv pow-exp tan-quot
7×associate-/l*
6×associate-*r/
4×flip3-+ flip-+ add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in
Counts
4 → 144
Calls
4 calls:
122.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
28.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
570.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
25.0ms
(/ (pow t 3.0) (* l l))

series2.1s

Counts
4 → 12
Calls
4 calls:
474.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
390.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
915.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
272.0ms
(/ (pow t 3.0) (* l l))

simplify2.9s

Counts
156 → 156
Iterations
IterNodes
done5007
23583
1804
0254

prune1.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 13.4b

localize71.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
8.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.1b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
304×add-exp-log
184×prod-exp
78×add-cbrt-cube
77×div-exp
50×add-sqr-sqrt
49×times-frac
44×associate-*l/ cbrt-unprod
42×*-un-lft-identity
37×add-cube-cbrt
36×associate-*l*
34×frac-times
33×pow-exp
29×pow1
24×unpow-prod-down
22×pow-to-exp
17×pow-prod-down
16×tan-quot
14×associate-*r/
12×cbrt-undiv
11×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+ sqr-pow
5×associate-/l* unswap-sqr
4×add-log-exp
3×associate-/r* *-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in
Counts
4 → 229
Calls
4 calls:
221.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
49.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
854.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.2s

Counts
4 → 12
Calls
4 calls:
486.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
386.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
316.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.0s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify2.5s

Counts
241 → 241
Iterations
IterNodes
done5002
11315
0432

prune2.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 8.6b

localize145.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
2.5b
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.1b
(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite4.2s

Algorithm
rewrite-expression-head
Rules
2898×add-exp-log
1826×prod-exp
939×div-exp
340×add-cbrt-cube
313×pow-to-exp pow-exp
246×cbrt-unprod
125×associate-*l/
103×frac-times
85×cbrt-undiv
61×pow1
41×pow-prod-down
40×add-sqr-sqrt
37×associate-*l*
34×times-frac
33×associate-*r/
32×*-un-lft-identity tan-quot
27×add-cube-cbrt
20×unpow-prod-down
16×flip3-+ flip-+
12×associate-*r*
10×cbrt-prod
5×unswap-sqr
4×*-commutative add-log-exp sqr-pow
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 684
Calls
4 calls:
178.0ms
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
775.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
25.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
3.1s
(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.5s

Counts
4 → 12
Calls
4 calls:
443.0ms
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
616.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
354.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.1s
(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify2.9s

Counts
696 → 696
Iterations
IterNodes
done5000
12282
0680

prune3.4s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 7.6b

localize84.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
2.5b
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.1b
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite3.5s

Algorithm
rewrite-expression-head
Rules
2101×add-exp-log
1373×prod-exp
633×div-exp
249×add-cbrt-cube
212×pow-to-exp pow-exp
185×cbrt-unprod
100×associate-*l/
98×frac-times
59×cbrt-undiv
46×associate-*r/
43×add-sqr-sqrt
41×pow1
36×associate-*l*
35×*-un-lft-identity
34×times-frac
32×tan-quot
30×add-cube-cbrt
26×unpow-prod-down pow-prod-down
16×flip3-+ flip-+
13×cbrt-prod
11×associate-*r*
5×unswap-sqr sqr-pow
4×add-log-exp
3×pow-unpow *-commutative distribute-lft-out
2×pow-pow
1×distribute-rgt-in distribute-lft-in pow1/3 div-inv
Counts
4 → 520
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
682.0ms
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
26.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
2.7s
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.5s

Counts
4 → 12
Calls
4 calls:
493.0ms
(pow (cbrt t) 3.0)
534.0ms
(* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
351.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.1s
(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify3.8s

Counts
532 → 532
Iterations
IterNodes
done5006
12379
0694

prune2.9s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 3.4b

regimes1.3s

Accuracy

58.9% (5.5b remaining)

Error of 8.1b against oracle of 2.5b and baseline of 16.0b

bsearch873.0ms

Steps
ItersRangePoint
8
1.6043050641034297e-108
1.0469258300082738e-105
9.041137738162278e-106
11
-3.251212982944754e-39
-3.346138046726123e-61
-6.11126936665618e-40

simplify2.6s

Iterations
IterNodes
done5001
1504978
1494947
1484914
1474883
1464850
1454819
1444786
1434755
1424722
1414691
1404658
1394627
1384594
1374563
1364530
1354499
1344466
1334435
1324402
1314371
1304338
1294307
1284274
1274243
1264210
1254179
1244146
1234115
1224082
1214051
1204018
1193987
1183954
1173923
1163890
1153859
1143826
1133795
1123762
1113731
1103698
1093667
1083634
1073603
1063570
1053539
1043506
1033475
1023442
1013411
1003378
993347
983314
973283
963250
953219
943186
933155
923122
913091
903058
893027
882994
872963
862930
852899
842866
832835
822802
812771
802738
792707
782674
772643
762610
752579
742546
732515
722482
712451
702418
692387
682354
672323
662290
652259
642226
632195
622162
612131
602098
592067
582034
572003
561970
551939
541906
531875
521842
511811
501778
491747
481714
471683
461650
451619
441586
431555
421522
411491
401458
391427
381394
371363
361330
351299
341266
331235
321202
311171
301138
291107
281074
271043
261010
25979
24946
23915
22882
21851
20818
19787
18754
17723
16690
15659
14626
13595
12555
11513
10473
9402
8339
7252
6195
5161
4143
3111
298
181
057

end0.0ms

sample11.0s

Algorithm
intervals
Results
5.2s2042×body1280valid
2.5s1721×body640valid
1.6s5963×body80valid
689.0ms848×body320valid
311.0ms437×body160valid