Details

Time bar (total: 1.1m)

sample293.0ms

Algorithm
intervals
Results
142.0ms71×body1280valid
47.0ms193×body80valid
46.0ms44×body640valid
20.0ms26×body320valid
6.0ms12×body160valid

simplify3.2s

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.0b

localize53.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.3b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.8b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.1b
(/ (pow t 3.0) (* l l))

rewrite767.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:
124.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
35.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
586.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
10.0ms
(/ (pow t 3.0) (* l l))

series2.1s

Counts
4 → 12
Calls
4 calls:
492.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
370.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
948.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
289.0ms
(/ (pow t 3.0) (* l l))

simplify3.0s

Counts
164 → 164
Iterations
IterNodes
done5024
23709
1821
0262

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 15.1b

localize104.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
7.1b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.8b
(* (* (* (/ (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.1s

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×expm1-log1p-u log1p-expm1-u 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 → 237
Calls
4 calls:
164.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
35.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
7.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
857.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.3s

Counts
4 → 12
Calls
4 calls:
516.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
340.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
294.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.4s

Counts
249 → 249
Iterations
IterNodes
done5000
11351
0440

prune2.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 12.5b

localize119.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
3.2b
(* (* (* (/ (/ (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.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.8b
(* (* (* (* (/ (/ (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))

rewrite5.6s

Algorithm
rewrite-expression-head
Rules
2154×add-exp-log
1190×prod-exp
837×div-exp
322×add-cbrt-cube
228×cbrt-unprod
199×pow-to-exp pow-exp
125×associate-*l/
103×frac-times 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×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp sqr-pow
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 572
Calls
4 calls:
253.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)))
1.0s
(* (* (* (/ (/ (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))
33.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.3s
(* (* (* (* (/ (/ (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.8s

Counts
4 → 12
Calls
4 calls:
424.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)))
524.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.5s
(* (* (* (* (/ (/ (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.5s

Counts
584 → 584
Iterations
IterNodes
done5004
12109
0632

prune3.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 8.6b

localize101.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
3.2b
(* (* (/ (/ (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.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.8b
(* (* (* (/ (/ (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.9s

Algorithm
rewrite-expression-head
Rules
1549×add-exp-log
893×prod-exp
567×div-exp
235×add-cbrt-cube
171×cbrt-unprod
134×pow-to-exp pow-exp
100×associate-*l/
98×frac-times
73×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×expm1-log1p-u log1p-expm1-u 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 → 444
Calls
4 calls:
6.0ms
(pow (cbrt t) 3.0)
795.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))
3.0s
(* (* (* (/ (/ (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.6s

Counts
4 → 12
Calls
4 calls:
495.0ms
(pow (cbrt t) 3.0)
583.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))
383.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.6s

Counts
456 → 456
Iterations
IterNodes
done5001
12283
0646

prune3.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 2.6b

regimes1.5s

Accuracy

47.1% (7.3b remaining)

Error of 9.2b against oracle of 2.0b and baseline of 15.7b

bsearch1.1s

Steps
ItersRangePoint
6
6.05103802373224e+83
2.6589718871158484e+84
1.1248661094698823e+84
11
2.756642737699838e-96
4.943666806947711e-71
2.7949980840416287e-96
5
4.81177341763787e-227
1.2464372889868635e-226
5.605135270207504e-227
6
-1.4947183218604323e+113
-2.0908766019894994e+112
-2.1337966908197985e+112

simplify3.5s

Iterations
IterNodes
done5000
984974
974930
964880
954836
944786
934742
924692
914648
904598
894554
884504
874460
864410
854366
844316
834272
824222
814178
804128
794084
784034
773990
763940
753896
743846
733802
723752
713708
703658
693614
683564
673520
663470
653426
643376
633332
623282
613238
603188
593144
583094
573050
563000
552956
542906
532862
522812
512768
502718
492674
482624
472580
462530
452486
442436
432392
422342
412298
402248
392204
382154
372110
362060
352016
341966
331922
321872
311828
301778
291734
281684
271640
261590
251546
241496
231452
221402
211358
201308
191264
181214
171170
161120
151072
141022
13955
12899
11848
10766
9670
8513
7406
6309
5255
4197
3164
2141
1126
088

end0.0ms

sample11.1s

Algorithm
intervals
Results
4.9s2041×body1280valid
2.1s1725×body640valid
1.7s5895×body80valid
1.2s909×body320valid
671.0ms450×body160valid