Details

Time bar (total: 2.1m)

sample738.0ms

Algorithm
intervals
Results
240.0ms38×body5120valid
211.0ms135×body1280valid
160.0ms75×body2560valid
59.0ms72×body640valid
27.0ms44×body320valid
11.0ms60×body80valid
6.0ms18×body160valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
31021
2177
151
019

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2 t) (tan k))
1.4b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
1.5b
(/ (* (/ l t) (/ l t)) (sin k))
29.9b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite160.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:
13.0ms
(/ (/ 2 t) (tan k))
52.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
15.0ms
(/ (* (/ l t) (/ l t)) (sin k))
59.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series932.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(/ (/ 2 t) (tan k))
315.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
97.0ms
(/ (* (/ l t) (/ l t)) (sin k))
394.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify1.8s

Counts
439 → 439
Iterations
IterNodes
done5003
11933
0606

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.0b

localize48.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
7.0b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
16.0b
(/ (/ k t) (/ l t))
16.0b
(/ (/ k t) (/ l t))

rewrite219.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:
94.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
77.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
10.0ms
(/ (/ k t) (/ l t))
9.0ms
(/ (/ k t) (/ l t))

series515.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
408.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
8.0ms
(/ (/ k t) (/ l t))
9.0ms
(/ (/ k t) (/ l t))

simplify3.2s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 1.4b

localize65.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2)
1.0b
(cbrt 2)
2.8b
(* (/ (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))) (/ k (/ l 1))) (/ (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (sin k)))
4.8b
(/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1)))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
14090×times-frac
6862×add-exp-log
6100×add-sqr-sqrt
5220×div-exp
4423×*-un-lft-identity
4315×add-cube-cbrt
2790×cbrt-undiv
2615×add-cbrt-cube
2161×associate-*l*
1287×cbrt-prod
1272×prod-exp
739×associate-*r*
727×cbrt-unprod
448×div-inv
334×1-exp
252×unswap-sqr
144×associate-/r/
44×associate-/r*
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-div tan-quot associate-/l/
2×frac-times pow1/3 associate-*l/ associate-*r/
1×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
Counts
4 → 4407
Calls
4 calls:
1.0ms
(cbrt 2)
1.0ms
(cbrt 2)
1.8s
(* (/ (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))) (/ k (/ l 1))) (/ (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (sin k)))
34.0ms
(/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1)))

series1.3s

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)
539.0ms
(* (/ (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))) (/ k (/ l 1))) (/ (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (sin k)))
728.0ms
(/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1)))

simplify12.2s

Counts
4415 → 4415
Iterations
IterNodes
done7408
07408

prune52.5s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.0b

localize163.0ms

Local error

Found 4 expressions with local error:

14.0b
(cbrt (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))))
14.3b
(cbrt (/ k (/ l 1)))
14.3b
(cbrt (/ k (/ l 1)))
14.3b
(cbrt (/ k (/ l 1)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
308×times-frac
181×cbrt-prod
145×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×div-inv
5×associate-/r/
4×expm1-log1p-u pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 229
Calls
4 calls:
31.0ms
(cbrt (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))))
2.0ms
(cbrt (/ k (/ l 1)))
2.0ms
(cbrt (/ k (/ l 1)))
2.0ms
(cbrt (/ k (/ l 1)))

series1.1s

Counts
4 → 12
Calls
4 calls:
816.0ms
(cbrt (/ (* (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k))) (/ (/ (cbrt 2) (cbrt t)) (cbrt (tan k)))) (/ k (/ l 1))))
103.0ms
(cbrt (/ k (/ l 1)))
93.0ms
(cbrt (/ k (/ l 1)))
120.0ms
(cbrt (/ k (/ l 1)))

simplify2.6s

Counts
241 → 241
Iterations
IterNodes
done5000
23075
11021
0447

prune2.7s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 0.0b

regimes607.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done33
133
028

end0.0ms

sample31.9s

Algorithm
intervals
Results
9.8s4119×body1280valid
8.7s2198×body2560valid
7.5s997×body5120valid
3.3s2518×body640valid
1.2s1003×body320valid
626.0ms1997×body80valid
213.0ms427×body160valid