Details

Time bar (total: 2.1m)

sample303.0ms

Algorithm
intervals
Results
102.0ms72×body1280valid
59.0ms49×body640valid
40.0ms194×body80valid
18.0ms23×body320valid
4.0ms10×body160valid

simplify6.8s

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: 34.9b

localize191.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
4.3b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.3b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
17.5b
(/ (pow t 3.0) (* l l))

rewrite1.9s

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-+ insert-posit16 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 → 156
Calls
4 calls:
291.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
96.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
1.5s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
27.0ms
(/ (pow t 3.0) (* l l))

series3.5s

Counts
4 → 12
Calls
4 calls:
737.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
598.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
1.7s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
438.0ms
(/ (pow t 3.0) (* l l))

simplify7.2s

Counts
168 → 168
Iterations
IterNodes
done5002
23740
1818
0266

prune2.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 15.0b

localize337.0ms

Local error

Found 4 expressions with local error:

3.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.1b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
9.3b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.3b
(* (* (* (/ (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))

rewrite2.8s

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 insert-posit16 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 → 241
Calls
4 calls:
73.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
450.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
25.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
2.3s
(* (* (* (/ (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))

series3.8s

Counts
4 → 12
Calls
4 calls:
622.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
854.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
431.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.9s
(* (* (* (/ (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))

simplify4.1s

Counts
253 → 253
Iterations
IterNodes
done5001
11355
0444

prune4.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 11.0b

localize386.0ms

Local error

Found 4 expressions with local error:

1.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)))
3.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.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))
13.3b
(* (* (* (* (/ (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))

rewrite9.8s

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×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 696
Calls
4 calls:
455.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)))
100.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.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))
7.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))

series4.1s

Counts
4 → 12
Calls
4 calls:
695.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)))
510.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
953.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))
1.9s
(* (* (* (* (/ (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))

simplify6.2s

Counts
708 → 708
Iterations
IterNodes
done5003
12303
0692

prune5.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 9.3b

localize418.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 2.0 (* (* (* (/ (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)))
3.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.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))
13.3b
(* (* (* (/ (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))

rewrite14.2s

Algorithm
rewrite-expression-head
Rules
3369×add-exp-log
2132×prod-exp
1098×div-exp
406×add-cbrt-cube
316×pow-to-exp pow-exp
288×cbrt-unprod
179×frac-times
178×associate-*l/
112×cbrt-undiv
81×associate-*r/
56×tan-quot
47×associate-/r/
42×add-sqr-sqrt
40×pow1
37×times-frac
36×associate-*l*
34×*-un-lft-identity
32×flip3-+ flip-+
29×add-cube-cbrt
26×pow-prod-down
20×unpow-prod-down
11×associate-*r*
10×cbrt-prod
5×unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×*-commutative distribute-lft-out associate-/l*
2×div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in
Counts
4 → 749
Calls
4 calls:
5.7s
(/ 2.0 (* (* (* (/ (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)))
69.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.6s
(* (* (/ (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))
6.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))

series5.1s

Counts
4 → 12
Calls
4 calls:
1.8s
(/ 2.0 (* (* (* (/ (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)))
622.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
849.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))
1.8s
(* (* (* (/ (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))

simplify7.6s

Counts
761 → 761
Iterations
IterNodes
done5004
12833
0859

prune6.3s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 7.6b

regimes3.3s

Accuracy

-11.9% (9.5b remaining)

Error of 16.8b against oracle of 7.3b and baseline of 15.8b

bsearch1.9s

Steps
ItersRangePoint
9
5.84550051250994e+182
1.3456154624324508e+188
5.937994838209732e+182
8
1.6095643291824882e+99
4.976139366752269e+101
1.430501198242309e+100
9
1.6453422744072784e+17
2.1038321106435023e+25
4.2765351122852666e+17
9
6.93226521863138e-41
3.4964201940005623e-34
1.5429975906335487e-37
8
-2.121499451385219e-14
-1.1589515176165432e-17
-5.124747410806296e-15
8
-1.6695434221058753e+46
-2.2314266195794624e+42
-1.5834988826166857e+46

simplify9.9s

Iterations
IterNodes
done5001
1244978
1234941
1224902
1214865
1204826
1194789
1184750
1174713
1164674
1154637
1144598
1134561
1124522
1114485
1104446
1094409
1084370
1074333
1064294
1054257
1044218
1034181
1024142
1014105
1004066
994029
983990
973953
963914
953877
943838
933801
923762
913725
903686
893649
883610
873573
863534
853497
843458
833421
823382
813345
803306
793269
783230
773193
763154
753117
743078
733041
723002
712965
702926
692889
682850
672813
662774
652737
642698
632661
622622
612585
602546
592509
582470
572433
562394
552357
542318
532281
522242
512205
502166
492129
482090
472053
462014
451977
441938
431901
421862
411825
401786
391749
381710
371673
361634
351597
341558
331521
321482
311445
301406
291369
281330
271293
261254
251217
241178
231141
221102
211065
201026
19987
18944
17886
16850
15814
14777
13731
12656
11562
10453
9362
8273
7197
6159
5147
4126
3121
2117
1116
093

end0.0ms

sample11.7s

Algorithm
intervals
Results
4.4s2061×body1280valid
2.7s5939×body80valid
2.4s1737×body640valid
1.4s845×body320valid
318.0ms440×body160valid