Details

Time bar (total: 55.8s)

sample292.0ms

Algorithm
intervals
Results
133.0ms62×body1280valid
60.0ms57×body640valid
39.0ms183×body80valid
20.0ms27×body320valid
8.0ms16×body160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
44275
3774
2156
148
019

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize46.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
4.3b
(* (/ (pow t 3.0) (* l l)) (sin k))
15.4b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
15.6b
(/ (pow t 3.0) (* l l))

rewrite836.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×expm1-log1p-u flip3-+ flip-+ log1p-expm1-u 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 → 152
Calls
4 calls:
76.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
39.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
702.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
13.0ms
(/ (pow t 3.0) (* l l))

series2.0s

Counts
4 → 12
Calls
4 calls:
471.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
371.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
986.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
220.0ms
(/ (pow t 3.0) (* l l))

simplify2.6s

Counts
164 → 164
Iterations
IterNodes
done5024
23709
1821
0262

prune1.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 16.0b

localize129.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
4.3b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
8.4b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
15.4b
(* (* (* (* (/ (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.5s

Algorithm
rewrite-expression-head
Rules
346×add-exp-log
203×prod-exp
97×div-exp
82×add-cbrt-cube
55×associate-*l/
46×cbrt-unprod
41×pow-exp
35×frac-times
32×pow1
28×pow-to-exp
22×*-un-lft-identity
19×pow-prod-down
17×add-sqr-sqrt add-cube-cbrt
16×tan-quot
15×times-frac associate-*r/
13×cbrt-undiv
11×associate-*r*
8×flip3-+ flip-+
5×associate-/l*
4×expm1-log1p-u unpow-prod-down log1p-expm1-u add-log-exp sqr-pow
3×associate-/r* associate-*l* *-commutative distribute-lft-out
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in div-inv
Counts
4 → 212
Calls
4 calls:
217.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
57.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
7.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.2s
(* (* (* (* (/ (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.4s

Counts
4 → 12
Calls
4 calls:
528.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
452.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
296.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.1s
(* (* (* (* (/ (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.2s

Counts
224 → 224
Iterations
IterNodes
done5000
11182
0378

prune1.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 11.8b

localize85.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (cbrt t) 3.0)
3.4b
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
4.3b
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k))
15.4b
(* (* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite4.7s

Algorithm
rewrite-expression-head
Rules
891×add-exp-log
478×prod-exp
369×div-exp
124×pow-to-exp pow-exp
119×add-cbrt-cube
64×cbrt-unprod
55×associate-*l/
35×frac-times
33×pow1
27×cbrt-undiv
19×pow-prod-down
16×tan-quot
15×*-un-lft-identity associate-*r/
11×associate-*r*
10×add-sqr-sqrt add-cube-cbrt
8×flip3-+ flip-+
6×unpow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow-unpow associate-*l* *-commutative distribute-lft-out
2×pow-pow
1×distribute-rgt-in distribute-lft-in pow1/3 sqr-pow
Counts
4 → 297
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
811.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
250.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k))
3.6s
(* (* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (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:
390.0ms
(pow (cbrt t) 3.0)
546.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
442.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k))
1.1s
(* (* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify2.1s

Counts
309 → 309
Iterations
IterNodes
done5001
11411
0410

prune1.7s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 9.1b

localize124.0ms

Local error

Found 4 expressions with local error:

3.7b
(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
4.9b
(* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k))
6.6b
(/ (* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (/ l (pow (cbrt t) 3.0)))
12.3b
(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
554×add-exp-log
334×prod-exp
175×div-exp
107×add-cbrt-cube
94×times-frac
65×pow-to-exp pow-exp
56×cbrt-unprod
52×*-un-lft-identity
47×add-sqr-sqrt add-cube-cbrt
36×unpow-prod-down
34×associate-/r*
28×associate-*l/
26×associate-*r/
23×cbrt-undiv
20×pow1
19×frac-times
18×cbrt-prod
14×tan-quot
11×associate-*r* associate-/l/
10×pow-prod-down
8×flip3-+ flip-+
6×sqr-pow
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* *-commutative div-inv distribute-lft-out
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-/r/ associate-/l*
Counts
4 → 290
Calls
4 calls:
199.0ms
(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
81.0ms
(* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k))
989.0ms
(/ (* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (/ l (pow (cbrt t) 3.0)))
1.2s
(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series3.2s

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

simplify2.5s

Counts
302 → 302
Iterations
IterNodes
done5001
11683
0508

prune2.3s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 7.6b

regimes1.6s

Accuracy

51.8% (4.0b remaining)

Error of 10.4b against oracle of 6.3b and baseline of 14.7b

bsearch352.0ms

Steps
ItersRangePoint
7
5.020302064003349e-60
1.0410220562308606e-57
8.675237942045073e-59
4
-4.5375371897139666e+36
-2.6531139319365156e+36
-3.1792683678249784e+36

simplify2.7s

Iterations
IterNodes
done5001
1684978
1674947
1664920
1654889
1644862
1634831
1624804
1614773
1604746
1594715
1584688
1574657
1564630
1554599
1544572
1534541
1524514
1514483
1504456
1494425
1484398
1474367
1464340
1454309
1444282
1434251
1424224
1414193
1404166
1394135
1384108
1374077
1364050
1354019
1343992
1333961
1323934
1313903
1303876
1293845
1283818
1273787
1263760
1253729
1243702
1233671
1223644
1213613
1203586
1193555
1183528
1173497
1163470
1153439
1143412
1133381
1123354
1113323
1103296
1093265
1083238
1073207
1063180
1053149
1043122
1033091
1023064
1013033
1003006
992975
982948
972917
962890
952859
942832
932801
922774
912743
902716
892685
882658
872627
862600
852569
842542
832511
822484
812453
802426
792395
782368
772337
762310
752279
742252
732221
722194
712163
702136
692105
682078
672047
662020
651989
641962
631931
621904
611873
601846
591815
581788
571757
561730
551699
541672
531641
521614
511583
501556
491525
481498
471467
461440
451409
441382
431351
421324
411293
401266
391235
381208
371177
361150
351119
341092
331061
321034
311003
30976
29945
28918
27887
26860
25829
24802
23771
22744
21713
20686
19655
18628
17597
16570
15539
14512
13481
12454
11416
10374
9332
8276
7234
6183
5143
4118
381
270
166
048

end0.0ms

sample11.2s

Algorithm
intervals
Results
4.7s2026×body1280valid
2.7s5830×body80valid
2.4s1748×body640valid
798.0ms834×body320valid
205.0ms407×body160valid