Details

Time bar (total: 5.5m)

sample1.0s

Algorithm
intervals
Results
270.0ms75×body2560valid
265.0ms136×body1280valid
194.0ms25×body5120valid
135.0ms75×body640valid
54.0ms31×body320valid
49.0ms75×body80valid
11.0ms14×body160valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5000
31021
2177
151
019

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ 2 t) (tan k))
1.6b
(/ (* (/ l t) (/ l t)) (sin k))
2.4b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
26.9b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
837×add-cbrt-cube add-exp-log
453×cbrt-undiv div-exp
260×prod-exp cbrt-unprod
157×times-frac
103×add-sqr-sqrt
85×*-un-lft-identity add-cube-cbrt
44×associate-*l*
15×associate-/l*
12×div-inv
7×associate-/r* associate-*r* associate-/l/
6×pow1 unswap-sqr
5×associate-/r/
4×expm1-log1p-u frac-times associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×tan-quot
1×pow-prod-down *-commutative
Counts
4 → 427
Calls
4 calls:
12.0ms
(/ (/ 2 t) (tan k))
14.0ms
(/ (* (/ l t) (/ l t)) (sin k))
39.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
44.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series938.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(/ (/ 2 t) (tan k))
104.0ms
(/ (* (/ l t) (/ l t)) (sin k))
308.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
379.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify2.1s

Counts
439 → 439
Iterations
IterNodes
done5002
11933
0606

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.4b

localize30.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
5.8b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
15.0b
(/ (/ k t) (/ l t))
15.0b
(/ (/ k t) (/ l t))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
1018×times-frac
821×add-cbrt-cube add-exp-log
498×cbrt-undiv div-exp
468×add-sqr-sqrt
467×*-un-lft-identity add-cube-cbrt
204×prod-exp cbrt-unprod
70×associate-/l*
67×div-inv
27×associate-/r*
9×pow1
8×associate-*l/
7×associate-/r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down associate-/l/
2×frac-times tan-quot associate-*r/
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 777
Calls
4 calls:
90.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
73.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
19.0ms
(/ (/ k t) (/ l t))
14.0ms
(/ (/ k t) (/ l t))

series466.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
340.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
9.0ms
(/ (/ k t) (/ l t))
21.0ms
(/ (/ k t) (/ l t))

simplify3.5s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 1.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (tan k))
2.1b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
2.9b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.9b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
36620×times-frac
14803×add-sqr-sqrt
14780×*-un-lft-identity add-cube-cbrt
11728×cbrt-prod
2121×add-exp-log
1478×div-exp
1470×div-inv
909×add-cbrt-cube
810×cbrt-undiv
489×prod-exp
307×associate-*r*
299×associate-/r/
297×cbrt-unprod
202×associate-/l*
112×1-exp
94×cbrt-div tan-quot
88×associate-/r*
9×pow1
8×unswap-sqr
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×clear-num frac-2neg associate-/l/
1×pow1/3 associate-*l* *-commutative
Counts
4 → 9983
Calls
4 calls:
3.0ms
(cbrt (tan k))
392.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
40.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
51.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.8s

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt (tan k))
547.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
517.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
511.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify13.2s

Counts
9995 → 9995
Iterations
IterNodes
done8260
08260

prune2.0m

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (tan k))
2.2b
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
2.9b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.9b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

rewrite3.0s

Algorithm
rewrite-expression-head
Rules
55510×times-frac
23483×add-sqr-sqrt
21936×*-un-lft-identity
21880×add-cube-cbrt
17692×cbrt-prod
4449×associate-*l*
2183×div-inv
445×associate-/r/
307×associate-*r*
232×unswap-sqr
202×associate-/l*
201×add-exp-log
138×cbrt-div tan-quot
137×div-exp
110×add-cbrt-cube
96×cbrt-undiv
88×associate-/r*
27×prod-exp
21×cbrt-unprod
10×1-exp
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/l/
1×frac-times pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 14302
Calls
4 calls:
2.0ms
(cbrt (tan k))
1.2s
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
27.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
20.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.9s

Counts
4 → 12
Calls
4 calls:
156.0ms
(cbrt (tan k))
677.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
551.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
477.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify20.0s

Counts
14314 → 14314
Iterations
IterNodes
done10255
010255

prune2.0m

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

regimes326.0ms

Accuracy

0% (0.8b remaining)

Error of 1.0b against oracle of 0.1b and baseline of 1.0b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done23
123
019

end0.0ms

sample25.5s

Algorithm
intervals
Results
8.5s4153×body1280valid
6.0s2204×body2560valid
5.6s984×body5120valid
3.1s2448×body640valid
832.0ms2108×body80valid
811.0ms1028×body320valid
243.0ms471×body160valid